1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.SE2023★ 1 cited
2LS for Program Analysis
Daniel Kroening, Viktor Malík, Peter Schrammel +1
2LS ("tools") is a verification tool for C programs, built upon the CPROVER framework. It allows one to verify user-specified assertions, memory safety properties (e.g. buffer over…
cs.SE2022
Static Deadlock Detection in Low-Level C Code
Dominik Harmim, Vladimír Marcin, Lucie Svobodová +1
We present a novel scalable deadlock analyser L2D2 capable of handling C code with low-level unstructured lock manipulation. L2D2 runs along the call tree of a program, starting fr…