[EDDI] Enhance handling of SoD, SoE, volatiles and inline asm - #29

Open

EmilioCorigliano wants to merge 25 commits into

Commits on Aug 26, 2026

upd(FuncRetToRef): removed volatile load and stores
EmilioCorigliano
committed
211fe9d
upd(Utils): update functions to exclude and duplicate values
EmilioCorigliano
committed
2840ffa
upd(EDDI): create synchronizeFunctionArguments
EmilioCorigliano
committed
ee9147f
upd(EDDI): exclude volatile and inline asm
EmilioCorigliano
committed
e3c46c6
upd(EDDI): update to exclude and to duplicate functions
EmilioCorigliano
committed
df6a83c
fix(EDDI): fix TAD in case of global variables
EmilioCorigliano
committed
48cf366
upd(EDDI): now synchronizeFunctionArguments can synchronize the argument before or after the instruction
EmilioCorigliano
committed
931f7bf
feat(EDDI): duplicate volatile integer after loads and create consistency checks before store
EmilioCorigliano
committed
9d78358
feat(EDDI): duplicate volatiles explicitly marked as to_duplicate or to_harden
EmilioCorigliano
committed
3ec5ee9
feat(EDDI): add other functions to be excluded by default
EmilioCorigliano
committed
e8e6925
fix(EDDI): fixed isLocalValueInitializedBefore function
EmilioCorigliano
committed
eca0927
upd(isToDuplicate): duplicate by default if the value doesn't have an implementation
EmilioCorigliano
committed
2fcc8df
upd(EDDI): synchronize also global variables when fixing func values passed by reference
EmilioCorigliano
committed
e1f900c
upd(EDDI): base-case covered also without TDA to infere alloca types
EmilioCorigliano
committed
90b5142

Commits on Aug 27, 2026

Commits on Aug 28, 2026

Commits on Sep 29, 2026