feat(REDDI): Added Recursive EDDI technique and improved CPP support#21

Open

EmilioCorigliano wants to merge 16 commits into

Commits on Apr 28, 2026

feat(REDDI): port REDDI in ASPIS mainline
EmilioCorigliano
committed
feat(REDDI): Duplicate entrypoint in-place and bugfix
EmilioCorigliano
committed
fix(build_system): Now also FDSC and SEDDI have the DUPLICATE_ALL flag
EmilioCorigliano
committed
feat(EDDI): Restored possibility to use private error blocks for each different consistency check
EmilioCorigliano
committed
fix(debug_locations): Fixed findNearestDebugLoc
EmilioCorigliano
committed
feat(EDDI): Supporting indirect function calls
EmilioCorigliano
committed
fix(EDDI): Handle std::thread class and methods as to exclude from duplication
EmilioCorigliano
committed
test(reddi): add reddi modifications to tests to effectively test REDDI
EmilioCorigliano
committed
fix(DuplicateGlobals): Handling anonymous globals and fixing duplicateCall

EmilioCorigliano
and
osmandagli
committed
fix(EDDI): handling duplication of constant global variables with TAD
EmilioCorigliano
committed
fix(EDDI): change name to unnamed global variables

EmilioCorigliano
and
osmandagli
committed
tests(EDDI): removing blacklisting of duplication methods
EmilioCorigliano
committed

Commits on Apr 29, 2026

fix(EDDI): not duplicating extern global variables
EmilioCorigliano
committed
fix(CFCSS): restored check for predecessors when creating CFGVerificationBB
EmilioCorigliano
committed
fix(EDDI): enhanced prints during EDDI pass
EmilioCorigliano
committed
test(EDDI): add complex test for cpp features
EmilioCorigliano
committed