Symbiotic 2: more precise slicing (competition contribution). Symbiotic 2 keeps the concept and the structure of the original bug-finding tool Symbiotic, but it uses a more precise slicing based on a field-sensitive pointer analysis instead of field-insensitive analysis of the original tool. The paper discusses this improvement and its consequences. We also briefly recall basic principles of the tool, its strong and weak points, installation, and running instructions. Finally, we comment the results achieved by Symbiotic 2 in the competition
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Beyer, Dirk; Gulwani, Sumit; Schmidt, David A.: Combining model checking and data-flow analysis (2018)
- Lauko, Henrich; Ročkai, Petr; Barnat, Jiří: Symbolic computation via program transformation (2018)