Author:
Xu Zhongxing,Kremenek Ted,Zhang Jian
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Cadar, C., Twohey, P., Ganesh, V., Engler, D.: EXE: A system for automatically generating inputs of death using symbolic execution. Technical report, Computer System Laboratory, Stanford University (2006)
2. Clang static analyzer,
http://clang-analyzer.llvm.org/
3. Godefroid, P., Klarlund, N., Sen, K.: DART: Directed automated random testing. In: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, pp. 213–223 (2005)
4. Hampapuram, H., Yang, Y., Das, M.: Symbolic path simulation in path-sensitive dataflow analysis. In: Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, pp. 52–58 (2005)
5. WG14 ISO/IEC 9899:201x, editor. Programming Languages - C. ISO (1999),
http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1336.pdf
Cited by
44 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Graph Confident Learning for Software Vulnerability Detection;Engineering Applications of Artificial Intelligence;2024-07
2. Static Analysis for Transitioning to CHERI C/C++;Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis;2024-06-20
3. On the Applicability of Static Analysis for System Software using CodeChecker;2024 7th International Conference on Software and System Engineering (ICoSSE);2024-04-19
4. Temporal Logic-driven Symbolic Execution with the Clang Static Analyzer;2024 7th International Conference on Software and System Engineering (ICoSSE);2024-04-19
5. Uncovering Hidden Dependencies: Constructing Intelligible Path Witnesses using Dataflow Analyses;Acta Cybernetica;2024-03-04