Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Taint analysis #184

Open
wants to merge 28 commits into
base: main
Choose a base branch
from
Open

Taint analysis #184

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
28 commits
Select commit Hold shift + click to select a range
01970c7
Add klee taint special function
mamaria-k Dec 1, 2023
1104439
Add FormatString, TaintOutput annotations
mamaria-k Dec 1, 2023
7691cf5
Add call buiders for new klee special function and add processing For…
mamaria-k Dec 6, 2023
55bcd56
Add correct size calculation for strings for taint klee special funct…
mamaria-k Dec 6, 2023
9101a78
Fix klee function for handler name
mamaria-k Dec 14, 2023
636122d
Add taint annotations and transform annotaions file
mamaria-k Dec 15, 2023
69c52f3
Add taint annotations parsing and new klee taint function
mamaria-k Dec 15, 2023
2dc12d3
Add TaintSink
mamaria-k Dec 15, 2023
440292a
Update .gitignore
mamaria-k Dec 15, 2023
2d1afdd
Separate Taint class of annotations
mamaria-k Dec 21, 2023
54531d3
Update TaintOutput
mamaria-k Dec 22, 2023
dd15b5a
Write mocks for taint annotations, change taint_type to taint_source
mamaria-k Dec 22, 2023
c4b8b10
Rafactor taint code
mamaria-k Jan 11, 2024
bddcfc0
Fix bugs, change annotation config and calc AnnotationData for Executor
mamaria-k Jan 20, 2024
6a872a2
Fix
mamaria-k Feb 28, 2024
bc922f5
Add taint rules
mamaria-k Feb 28, 2024
036c02e
Add custom taint rules from sarif file parsing
mamaria-k Feb 15, 2024
add9e41
Add taint for PointerExpr
mamaria-k May 22, 2024
787d94d
Small fix
mamaria-k May 23, 2024
202f6cf
Add taint to Memory
mamaria-k May 23, 2024
238fa5e
Add taint to lazy object init and small methods
mamaria-k May 23, 2024
0eb3ce6
Add klee_mock without chaking size before add_taint
mamaria-k May 23, 2024
40d4a65
Add methods with taintOS
mamaria-k May 25, 2024
82252b5
Add handlers and fix
mamaria-k May 25, 2024
47eaebb
Change klee_get_taint_rule to klee_get_taint_hits, fix memory and som…
mamaria-k May 26, 2024
84af116
Fix
mamaria-k May 27, 2024
cf083b6
Add taint offset and fix
mamaria-k Jun 10, 2024
3c9715c
Update annotations
mamaria-k Jun 11, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -32,5 +32,6 @@ autoconf/autom4te.cache/
autom4te.cache/

.vscode/
.idea/
.cache/
.helix/
Loading
Loading