Login / Signup
Jaint: A Framework for User-Defined Dynamic Taint-Analyses based on Dynamic Symbolic Execution of Java Programs.
Malte Mues
Till Schallau
Falk Howar
Published in:
Software Engineering (2021)
Keyphrases
</>
user defined
symbolic execution
general purpose
data mining
object oriented
building blocks