Abstract | ||
---|---|---|
The fourth version of Symbiotic brings a brand new instrumentation part, which can now instrument the analyzed program with code pieces checking various specification properties. As a consequence, Symbiotic 4 participates for the first time also in categories focused on memory safety. Further, we have ported both Symbiotic and Klee to LLVM 3.8 and added new features to the slicer which is now modular and easily extensible. |
Year | Venue | Field |
---|---|---|
2017 | TACAS | Memory safety,Programming language,Computer science,Theoretical computer science,Reachability,Porting,Program analysis,Modular design |
DocType | Citations | PageRank |
Conference | 2 | 0.35 |
References | Authors | |
7 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marek Chalupa | 1 | 3 | 1.04 |
Martina Vitovská | 2 | 3 | 0.71 |
Martin Jonás | 3 | 4 | 2.10 |
Jiri Slaby | 4 | 20 | 4.04 |
Jan Strejcek | 5 | 99 | 13.83 |