Commits

Commits on Nov 27, 2023

bugfix to global variable types and removed some unnecessary code
AnargyrosArg
committedNov 27, 2023

Commits on Oct 17, 2023

update gitignore
AnargyrosArg
committedOct 17, 2023

Commits on Nov 1, 2022

Delete .vscode directory
AnargyrosArg
committedNov 1, 2022
Merge pull request #17 from AnargyrosArg/experimental
AnargyrosArg
committedNov 1, 2022

Commits on Oct 30, 2022

fix some call instructions operands
AnargyrosArg
committedOct 30, 2022
major fix: GEP instructions with constant indexes
AnargyrosArg
committedOct 30, 2022
more comprehensive if conds
AnargyrosArg
committedOct 30, 2022
small fix
AnargyrosArg
committedOct 30, 2022

Commits on Oct 29, 2022

add missing facts for StringAttributes
AnargyrosArg
committedOct 29, 2022
processValue/Declare fix
AnargyrosArg
committedOct 29, 2022

Commits on Oct 28, 2022

fix to utf8 encoding error
AnargyrosArg
committedOct 28, 2022

Commits on Oct 27, 2022

some fixes
AnargyrosArg
committedOct 27, 2022
visitType support for vectors
AnargyrosArg
committedOct 27, 2022

Commits on Oct 26, 2022

readded analysis.config somehow it got deleted
AnargyrosArg
committedOct 26, 2022
first compilable version
AnargyrosArg
committedOct 26, 2022

Commits on Oct 9, 2022

testing some changes
Anargyros Argyros
committedOct 9, 2022

Commits on Dec 8, 2021

Fix function pointer calls bug
ktrianta
committedDec 8, 2021
Add 2-call-site-sensitive+2-heap analysis
ktrianta
committedDec 8, 2021
Refactor allocation context
ktrianta
committedDec 8, 2021

Commits on Nov 26, 2021

Update Dockerfile

ringzer0x00
authored and
ktrianta
committedNov 26, 2021
tools/*/Makefile: Allow to overload -lboost_python

cmuellner
authored and
ktrianta
committedNov 26, 2021

Commits on Nov 3, 2021

Remove relations related to debugging
ktrianta
committedNov 3, 2021
Remove unused relations
ktrianta
committedNov 3, 2021
Fix in allocations logic
ktrianta
committedNov 3, 2021

Commits on Nov 2, 2021

Update codebase to souffle 2.1
ktrianta
committedNov 2, 2021
Update README
ktrianta
committedNov 2, 2021

Commits on Oct 29, 2021

Disable (temporarily) output relations codegen
ktrianta
committedOct 29, 2021
Refactor context computation
ktrianta
committedOct 29, 2021

Commits on Jul 6, 2021

Fix type errors in context-sensitive analyses
ktrianta
committedJul 6, 2021

Commits on Jun 23, 2021

added Dockerfile

adrianherrera
authored and
ktrianta
committedJun 23, 2021

Commits on Jun 22, 2021

Add missing dependency package to README
ktrianta
committedJun 22, 2021

Commits on Apr 30, 2021

Fix get element pointer bug in logic

TheoKant
authored and
ktrianta
committedApr 30, 2021

Commits on Apr 23, 2021

Update codebase to support souffle 2.0.2+
ktrianta
committedApr 23, 2021
Fix cclyzer.sh script
ktrianta
committedApr 23, 2021
Revert "Fix get element pointer bug in logic"
ktrianta
committedApr 23, 2021