2 papers
cs.DS2020
Fast Computation of Strong Control Dependencies
Marek Chalupa, David Klaška, Jan Strejček +1
We introduce new algorithms for computing non-termination sensitive control dependence (NTSCD) and decisive order dependence (DOD). These relations on control flow graph vertices h…
cs.SE2018
SBT-instrumentation: A Tool for Configurable Instrumentation of LLVM Bitcode
Martina Vitovská, Marek Chalupa, Jan Strejček
The paper describes a member of the Symbiotic toolbox called sbt-instrumentation, which is a tool for configurable instrumentation of LLVM bitcode. The tool enables a user to speci…