Test suites for benchmarks of static analysis tools

@article{Shiraishi2015TestSF,
  title={Test suites for benchmarks of static analysis tools},
  author={Shinichi Shiraishi and Veena Mohan and Hemalatha Marimuthu},
  journal={2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)},
  year={2015},
  pages={12-15}
}
This paper proposes test suites for the benchmarks of static analysis tools. In our test suites, a wide variety of common defects are intentionally implemented. In addition, we also propose several criteria for the evaluation of static analysis tools. By using them, we can compare the performance of static analysis tools in a quantitative manner. Our test suites are available in the public domain. Moreover, this paper provides the evaluation results of the top performance tools as references… CONTINUE READING
Highly Cited
This paper has 23 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 15 extracted citations

A Comparison of Open-Source Static Analysis Tools for Vulnerability Detection in C/C++ Code

2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) • 2017
View 10 Excerpts
Highly Influenced

Runtime Verification at Work: A Tutorial

RV • 2016
View 4 Excerpts
Highly Influenced

Evaluating Automated Software Verification Tools

2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) • 2018
View 2 Excerpts

A Comparative Study of Static Analysis Tools for AUTOSAR Automotive Software Components Development

2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) • 2017
View 2 Excerpts

References

Publications referenced by this paper.
Showing 1-5 of 5 references

Report on the third static analysis tool exposition (SATE 2010)

V. Okun, A. Delaitre, P. E. Black
vol. Special Publication 500-283, NIST, October 2011. 15 • 2011
View 1 Excerpt

Source code security analysis tool functional specification version 1.1

P. E. Black, M. Kass, M. Koo, E. Fong
vol. Special Publication 500- 268 v1.1, NIST, February 2011. • 2011
View 2 Excerpts

Similar Papers

Loading similar papers…