[TG-2356] skip basic block instrumentation from virtual call removal#1812

Closed

mgudemann wants to merge 5 commits intodiffblue:developfrom mgudemann:feature/skip_basic_blocks_from_virtual_call_removal

+83-5

Commits on Feb 13, 2018

Add ID_C_java_removed_virtual_call to irep defs
Matthias Güdemann
committed
Add possibility to mark instructions to source_locationt`
Matthias Güdemann
committed
Mark instructions in remove_virtual_functions
Matthias Güdemann
committed
Skip instructions from virtual call removal from instrumentation
Matthias Güdemann
committed
Add unit test for non-instrumentation of Java virtual calls
Matthias Güdemann
committed