2 citations · 9 across the 12 of their papers we have counts for
4 papers · 1 filter
STANSE: Bug-finding Framework for C Programs
Jan Obdržálek, Jiří Slabý, Marek Trtík
STANSE is a free (available under the GPLv2 license) modular framework for finding bugs in C programs using static analysis. Its two main design goals are 1) ability to process lar…
Compact Symbolic Execution (technical report)
Marek Trtík
We present a generalisation of King's symbolic execution technique called compact symbolic execution. It is based on a concept of templates: a template is a declarative parametric…
On Synergy of Metal, Slicing, and Symbolic Execution
Jiří Slabý, Jan Strejček, Marek Trtík
We introduce a novel technique for finding real errors in programs. The technique is based on a synergy of three well-known methods: metacompilation, slicing, and symbolic executio…
Compact Symbolic Execution
Jiří Slabý, Jan Strejček, Marek Trtík
We present a generalisation of King's symbolic execution technique called compact symbolic execution. It proceeds in two steps. First, we analyse cyclic paths in the control flow g…