1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…