Author:
Dudka Kamil,Peringer Petr,Vojnar Tomáš
Publisher
Springer Berlin Heidelberg
Reference4 articles.
1. Lecture Notes in Computer Science;K. Dudka,2011
2. Lecture Notes in Computer Science;P. Habermehl,2011
3. Merill, J.: GENERIC and GIMPLE: A New Tree Representation for Entire Functions. In: Proceedings of the 2003 GCC Summit, Ottawa, Canada (May 2003)
4. Lecture Notes in Computer Science;G. Necula,2002
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution);Tools and Algorithms for the Construction and Analysis of Systems;2020
2. Forester: From Heap Shapes to Automata Predicates;Tools and Algorithms for the Construction and Analysis of Systems;2017
3. Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark;Tools and Algorithms for the Construction and Analysis of Systems;2016
4. Run Forester, Run Backwards!;Tools and Algorithms for the Construction and Analysis of Systems;2016
5. Predator Shape Analysis Tool Suite;Hardware and Software: Verification and Testing;2016