avoid hardcoded addresses in test cases, add pre-order iterator - #294

Merged

ailrst merged 28 commits into

mainfrom

test-case-address-detection

Feb 14, 2025

Commits on Feb 10, 2025

IndirectCallTests: auto-detect indirect call IDs
katrinafyi
committed
9e9b1fb
touch comment of ILForwardIterator
katrinafyi
committed
beb05c3
dsa: working on detecting addresses in dsa tests
katrinafyi
committed
93af7af
log removed functions
katrinafyi
committed
b58bbe2
dsa fix, add postLoad parameter to loadAndTranslate
katrinafyi
committed
aaf54f6
ci: run all tests :3
katrinafyi
committed
9babecd
use ./mill in dev docs
katrinafyi
committed
962b87c
ci: exclude SystemTests from UnitTests
katrinafyi
committed
8393dee
add preorder iterator test

ailrst
authored and
katrinafyi
committed
3f04f44
removed hardcoded address from DSA test

sadrabt
authored and
katrinafyi
committed
c32f1dd
LiveVarsAnalysisTests: avoid fixed addresses
katrinafyi
committed
60e4b3e
IndirectCallTests: use postLoad hook
katrinafyi
committed
aac00cb
ci: omit some tests, run tests sequentially
katrinafyi
committed
c8b7e04
add assertion messages to SSAVar
katrinafyi
committed
6e1c9e5
Fix ordering bug

b-paul
authored and
katrinafyi
committed
ce0ca4e
ci: add package prefixes to test names
katrinafyi
committed
cc96365
DataStructureAnalysisTest: sliding-window-based heuristic for SSAVar
katrinafyi
committed
b38fbcc
fix irtest

ailrst
authored and
katrinafyi
committed
b362960
ignore initialisation ParamAnalysisTests

ailrst
authored and
katrinafyi
committed
1a0d7f8
reorganise workflows

ailrst
authored and
katrinafyi
committed
00ff884
revert pre-order iterator changes diverging from main
katrinafyi
committed
753e41f

Commits on Feb 14, 2025

Merge remote-tracking branch 'origin' into test-case-address-detection
ailrst
committed
56ed47f
test fixes
ailrst
committed
d2b07ac
revert to livevars inline by default
ailrst
committed
9c480db
procName
ailrst
committed
33c79da
paramanalysis do not assert main has live at exit
ailrst
committed
713aae5
ignore external call params in liveness for paramamalysis
ailrst
committed
0ab1d3c
make proceduresummarytest pass action always
ailrst
committed
320cc50