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

Merged

EmilioCorigliano merged 20 commits into

May 15, 2026

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