Abstract | ||
---|---|---|
Symbiotic 3 is a new generation of a bug-detection tool for Cprograms. The tool sticks to the combination of programinstrumentation, slicing, and symbolic execution. Large partsof the tool are rewritten, in particular the managing andinstrumentation scripts and slicer (including points-toanalysis). Further, the symbolic executor Klee has beenmodified to produce error-witnesses. The changes are commentedin the description of the tool workflow. |
Year | Venue | Field |
---|---|---|
2016 | TACAS | Program slicing,The Symbolic,Executor,Programming language,Computer science,Slicing,Witness,Symbolic execution,Workflow,Scripting language |
DocType | Citations | PageRank |
Conference | 2 | 0.40 |
References | Authors | |
8 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marek Chalupa | 1 | 2 | 2.43 |
Martin Jonás | 2 | 4 | 2.10 |
Jiri Slaby | 3 | 20 | 4.04 |
Jan Strejcek | 4 | 99 | 13.83 |
Martina Vitovská | 5 | 2 | 1.42 |