CoBOT: Static C/C++ Bug Detection in the Presence of Incomplete Code
暂无分享,去创建一个
Xiao Ma | Qing Gao | Sen Ma | Shikun Zhang | Yulei Sui | Guoliang Zhao | Xiao Deng | Luyao Ma | Sihao Shao | Fuyao Duan | Xianglong Chen
[1] Mark N. Wegman,et al. Efficiently computing static single assignment form and the control dependence graph , 1991, TOPL.
[2] Thomas W. Reps,et al. Precise interprocedural dataflow analysis via graph reachability , 1995, POPL '95.
[3] Jingling Xue,et al. On-demand strong update analysis via value-flow refinement , 2016, SIGSOFT FSE.
[4] Sen Ma,et al. Practical null pointer dereference detection via value-dependence analysis , 2015, 2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).
[5] Ken Kennedy,et al. Interprocedural side-effect analysis in linear time , 1988, PLDI '88.
[6] Barbara G. Ryder,et al. A schema for interprocedural modification side-effect analysis with pointer aliasing , 2001, TOPL.
[7] KennedyKen,et al. Interprocedural side-effect analysis in linear time , 2004 .
[8] Ondrej Lhoták,et al. Averroes: Whole-Program Analysis without the Whole Program , 2013, ECOOP.
[9] Jingling Xue,et al. SVF: interprocedural static value-flow analysis in LLVM , 2016, CC.
[10] Xiangke Liao,et al. Boosting the precision of virtual call integrity protection with partial pointer analysis for C++ , 2017, ISSTA.
[11] Reinhold Plösch,et al. Automatically Adding Missing Libraries to Java Projects to Foster Better Results from Static Analysis , 2017, 2017 IEEE 17th International Working Conference on Source Code Analysis and Manipulation (SCAM).
[12] Alexander Aiken,et al. Saturn: A SAT-Based Tool for Bug Detection , 2005, CAV.
[13] Robert W. Bowdidge,et al. Why don't software developers use static analysis tools to find bugs? , 2013, 2013 35th International Conference on Software Engineering (ICSE).