Fetching the paper…
Reading the bibliography…
Static analysis is the analysis of a program without executing it, usually carried out by an automated tool.
Birkhoff, G.: Lattice theory, vol. 25. American Mathematical Soc. (1940)
1940
Earlier work this paper cites.
Rice, H.G.: Classes of recursively enumerable sets and their decision problems. Trans. Amer. Math. Soc. 74
1953
Earlier work this paper cites.
King, J.C.: Symbolic execution and program testing. Commun. ACM 19
1976
Earlier work this paper cites.
Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages. pp. 238–252. ACM (1977)
1977
Earlier work this paper cites.
Driscoll, J.R., Sarnak, N., Sleator, D.D., Tarjan, R.E.: Making data structures persistent. Journal of computer and system sciences 38
1989
Earlier work this paper cites.
Reps, T., Horwitz, S., Sagiv, M.: Precise interprocedural dataflow analysis via graph reachability. In: Proceedings of the 22Nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pp. 49–61. POPL ’95, ACM, New York, NY, USA (1995). https://doi.org/10.1145/199448.199462, http://doi.acm.org/10.1145/199448.199462
1995
Earlier work this paper cites.
Boehm, B., Basili, V.R.: Software defect reduction top 10 list. Computer 34
2001
Earlier work this paper cites.
De Lucia, A.: Program slicing: methods and applications. In: Proceedings First IEEE International Workshop on Source Code Analysis and Manipulation. pp. 142–149 (Nov 2001). https://doi.org/10.1109/SCAM.2001.972675
2001
Earlier work this paper cites.
Hallem, S., Chelf, B., Xie, Y., Engler, D.: A system and language for building system-specific, static analyses. In: Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation. pp. 69–82. PLDI ’02, ACM, New York, NY, USA (2002). https://doi.org/10.1145/512529.512539, http://doi.acm.org/10.1145/512529.512539
2002
Earlier work this paper cites.
Kremenek, T., Engler, D.R.: Z-ranking: Using statistical analysis to counter the impact of static analysis approximations. In: SAS (2003)
2003
Earlier work this paper cites.
Kremenek, T., Ashcraft, K., Yang, J., Engler, D.R.: Correlation exploitation in error ranking. In: SIGSOFT FSE (2004)
2004
Earlier work this paper cites.
Hampapuram, H., Yang, Y., Das, M.: Symbolic path simulation in path-sensitive dataflow analysis. SIGSOFT Softw. Eng. Notes 31
2005
Earlier work this paper cites.
Xie, Y., Aiken, A.: Scalable error detection using boolean satisfiability. Acm Sigplan Notices 40
2005
Earlier work this paper cites.
Kremenek, T., Twohey, P., Back, G., Ng, A., Engler, D.: From uncertainty to belief: Inferring the specification within. In: Proceedings of the 7th symposium on Operating systems design and implementation. pp. 161–176. USENIX Association (2006)
2006
Earlier work this paper cites.
Miné, A.: The octagon abstract domain. Higher-order and symbolic computation 19
2006
Earlier work this paper cites.
Sen, K.: Concolic testing. In: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering. pp. 571–572. ACM (2007)
2007
Earlier work this paper cites.
Cadar, C., Dunbar, D., Engler, D.R., et al.: KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In: OSDI. vol. 8, pp. 209–224 (2008)
2008
Earlier work this paper cites.
de Moura, L., Bjørner, N.: Z3: An Efficient SMT Solver, vol. 4963, pp. 337–340. Springer Berlin Heidelberg, Berlin, Heidelberg (2008). https://doi.org/10.1007/978-3-540-78800-3_24, https://doi.org/10.1007/978-3-540-78800-3_24
2008
Cited alongside, same era.
Chandra, S., Fink, S.J., Sridharan, M.: Snugglebug: a powerful approach to weakest preconditions. In: ACM Sigplan Notices. vol. 44, pp. 363–374. ACM (2009)
2009
Cited alongside, same era.
Michael, Z., Robert, K.C.: The real cost of software errors. IEEE Security & Privacy 7
2009
Cited alongside, same era.
Bessey, A., Block, K., Chelf, B., Chou, A., Fulton, B., Hallem, S., Henri-Gros, C., Kamsky, A., McPeak, S., Engler, D.: A few billion lines of code later: Using static analysis to find bugs in the real world. Commun. ACM 53
2010
Cited alongside, same era.
Singh, G., Püschel, M., Vechev, M.: Fast polyhedra abstract domain. In: ACM SIGPLAN Notices. vol. 52, pp. 46–59. ACM (2017)
2017
Later among the works it cites.
Balunovic, M., Bielik, P., Vechev, M.: Learning to solve SMT formulas. In: Advances in Neural Information Processing Systems. pp. 10338–10349 (2018)
2018
Later among the works it cites.
2018
Later among the works it cites.
Horváth, G., Kovács, R., Szécsi, P.: Towards proper differential analysis of static analysis engine changes. In: Proceedings of the 11th Conference of PhD Students in Computer Science. pp. 75–78 (2018)
2018
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
2010
Cited alongside, same era.
Xu, Z., Kremenek, T., Zhang, J.: A memory model for static analysis of C programs. In: Proceedings of the 4th International Conference on Leveraging Applications of Formal Methods, Verification, and Validation - Volume Part I. pp. 535–548. ISoLA’10, Springer-Verlag, Berlin, Heidelberg (2010), http://dl.acm.org/citation.cfm?id=1939281.1939332
2010
Cited alongside, same era.
Calcagno, C., Distefano, D.: Infer: An automatic program verifier for memory safety of C programs. In: NASA Formal Methods Symposium. pp. 459–465. Springer (2011)
2011
Cited alongside, same era.
Godefroid, P., Luchaup, D.: Automatic partial loop summarization in dynamic test generation. In: Proceedings of the 2011 International Symposium on Software Testing and Analysis. pp. 23–33. ACM (2011)
2011
Cited alongside, same era.
Ma, K.K., Phang, K.Y., Foster, J.S., Hicks, M.: Directed symbolic execution. In: International Static Analysis Symposium. pp. 95–111. Springer (2011)
2011
Cited alongside, same era.
Godefroid, P., Levin, M.Y., Molnar, D.: SAGE: whitebox fuzzing for security testing. Communications of the ACM 55
2012
Cited alongside, same era.
Mihalicza, J.: How #includes affect build time in large systems. In: Proceedings of the 8th international conference on applied informatics (ICAI 2010). vol. 2, pp. 343–350 (2012)
2012
Cited alongside, same era.
Regehr, J., Chen, Y., Cuoq, P., Eide, E., Ellison, C., Yang, X.: Test-case reduction for C compiler bugs. In: ACM SIGPLAN Notices. vol. 47, pp. 335–346. ACM (2012)
2012
Cited alongside, same era.
Horváth, G., Szécsi, P., Gera, Z., Krupp, D., Pataki, N.: Challenges of implementing cross translation unit analysis in the Clang Static Analyzer. In: 2018 IEEE 18th International Working Conference on Source Code Analysis and Manipulation (SCAM). pp. 171–176. IEEE (2018)
2018
Later among the works it cites.
Reka Kovacs, G.H.: An initial prototype of tiered constraint solving in the Clang Static Analyzer. Studia Universitatis Babes-Bolyai: Series Informatica 63
2018
Later among the works it cites.
Clang Static Analyzer, https://clang-analyzer.llvm.org/ (last accessed: 28-02-2019
2019
Later among the works it cites.
Clang Static Analyzer: Checker Developer Manual, https://clang-analyzer.llvm.org/checker_dev_manual.html
2019
Later among the works it cites.
Clang-Tidy, https://clang.llvm.org/extra/clang-tidy/ (last accessed: 28-02-2019)
2019
Later among the works it cites.
CodeChecker, https://github.com/Ericsson/codechecker (last accessed: 28-02-2019
2019
Later among the works it cites.
CodeSonar, https://www.grammatech.com/products/codesonar (last accessed: 28-02-2019
2019
Later among the works it cites.
Coverity, https://scan.coverity.com/ (last accessed: 28-02-2019)
2019
Later among the works it cites.
Klocwork, https://www.roguewave.com/products-services/klocwork (last accessed: 28-02-2019)
2019
Later among the works it cites.
Dergachev, A.: Clang Static Analyzer: A Checker Developer’s Guide, https://github.com/haoNoQ/clang-analyzer-guide (last accessed: 28-02-2019)
2019
Later among the works it cites.
Horvath, G., Kovacs, R., Szecsi, P.: Clang Static Analyzer Testbench (2018), https://github.com/Xazax-hun/csa-testbench (last accessed: 28-02-2019)
2019
Later among the works it cites.
Zaks, A., Rose, J.: Building a checker in 24 hours, https://www.youtube.com/watch?v=kdxlsP5QVPw (last accessed: 28-02-2019)
2019
Later among the works it cites.