[SC-L] Static Analysis Tool Exposition (SATE) - Call for Participation

2011-07-14 Thread Delaitre, Aurelien
NIST is preparing the fourth Static Analysis Tool Expostion (SATE IV). Briefly, participating tool makers run their tool on a set of programs. Researchers led by NIST analyze the tool reports. The results and experiences are reported at a workshop. The tool reports and analysis are made

[SC-L] Static analysis tool exposition (SATE) Call for participation

2010-05-27 Thread Vadim Okun
We are preparing the third Static Analysis Tool Exposition (SATE). Briefly, participating tool makers run their tool on a set of programs. Researchers led by NIST analyze the tool reports. The results and experiences are reported at a workshop. The tool reports and analysis are made publicly