*Result*: Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs

Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs
Integrated formal methods, IFM 2020 (16th international conference)

Mues, Malte, Schallau, Till, Howar, Falk

Lecture notes in computer science. 12546:123-140

http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN606515708&indx=1&recIds=ETOCCN606515708

British Library Document Supply Centre Inside Serials & Conference Proceedings