Merge analysis-devel: Unified CFG and Static Analysis#61

Merged

l-kent merged 107 commits intomainfrom analysis-devel

Oct 12, 2023

+5,006-2,961

Commits on Jun 29, 2023

Initial commit, minor changes.
Thomas-Malcolm
committed

Commits on Jul 3, 2023

CFG-related types reworked, and various analyses modified to use the temporary structure to avoid compilation errors. Cfg implementation starting as of this commit.
Thomas-Malcolm
committed

Commits on Jul 4, 2023

CFG Nodes updated to track edges instead of successor nodes. This done to allow for conditional edges, i.e. in the case of GoTos.
Thomas-Malcolm
committed
CfgNode structure reworked to store edges for computation efficiency instead. For a lower space complexity we would have to sacrifice computation time for filtering / unioning sets instead. Additon…
Thomas-Malcolm
committed
Working on inline logic. Introduced some new mappings for procedures in the cfg.
Thomas-Malcolm
committed

Commits on Jul 5, 2023

Inlining support finalised. CFG generation itself is next.
Thomas-Malcolm
committed

Commits on Jul 6, 2023

Generation code for cfg (first draft) is finished. Can't test yet, as need to modify the analyses to support the new cfg. Next commit will incorporate those changes, and then the cfg generation wil…
Thomas-Malcolm
committed

Commits on Jul 7, 2023

Modified analyses (with temporary hot fixes for differentiating between intra/inter cfgs) so that the project will now compile and run (when -analyse is not passed, i.e., no cfg generation occurs).…
Thomas-Malcolm
committed

Commits on Jul 10, 2023

CFG generating a "cfg". Bug fixes required in the Dot creation functionality, and inlining.
Thomas-Malcolm
committed

Commits on Jul 12, 2023

Intemediary documentation
Thomas-Malcolm
committed

Commits on Jul 13, 2023

Removed old cfg files
Thomas-Malcolm
committed

Commits on Jul 14, 2023

New edges which distinguish between inlined calls and interprocedural calls. Documentation updated.
Thomas-Malcolm
committed

Commits on Aug 8, 2023

Commits on Aug 15, 2023

Commits on Aug 29, 2023

Commits on Aug 31, 2023

fix pushdown constant prop solver
ailrst
committed

Commits on Sep 5, 2023

Commits on Sep 8, 2023

BISIL-56: Fixed single return call issue
ziggyfish
committed

Commits on Sep 13, 2023

Commits on Sep 26, 2023

Merge pull request #78 from UQ-PAC/fix-vsa
yousifpatti
authored

Commits on Oct 10, 2023

remove redundant isRegister method
l-kent
committed
Fixes to merge comments

yousifpatti
authored and
l-kent
committed
replace println with logger
l-kent
committed
fix CfgCommandNode copy type
l-kent
committed
rename pthread example
l-kent
committed
add better comment for renamer class
l-kent
committed
remove redundant match
l-kent
committed
support bvsmod in ValueAnalysisMisc
l-kent
committed
remove redundant match
l-kent
committed
note issues with visitJumps/visitStatements in cfg construction
l-kent
committed
actually implement bvsmod
l-kent
committed
remove redundant matches for null
l-kent
committed
make unificationfailure a scala-style exception
l-kent
committed
minor fix
l-kent
committed
make NOP a singleton
l-kent
committed
use mainProcedure to find the starting node
l-kent
committed
make evaluateExpression just take the constant propagation result for the current node
l-kent
committed
give constantProp a stricter type
l-kent
committed
strengthen constantprop type a little more
l-kent
committed

Commits on Oct 11, 2023

Commits on Oct 12, 2023

make logger show file name for tests
l-kent
committed
don't use '--analyse' in tests, whoops
l-kent
committed