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

Jump to bottom

Taint analysis #184

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

Taint analysis #184

wants to merge 28 commits into from

Conversation

mamaria-k
Copy link
Collaborator

Summary:

Checklist:

  • The PR addresses a single issue. If it can be divided into multiple independent PRs, please do so.
  • The PR is divided into a logical sequence of commits OR a single commit is sufficient.
  • There are no unnecessary commits (e.g. commits fixing issues in a previous commit in the same PR).
  • Each commit has a meaningful message documenting what it does.
  • All messages added to the codebase, all comments, as well as commit messages are spellchecked.
  • The code is commented OR not applicable/necessary.
  • The patch is formatted via clang-format OR not applicable (if explicitly overridden leave unchecked and explain).
  • There are test cases for the code you added or modified OR no such test cases are required.

mamaria-k added 24 commits May 26, 2024 02:10
@mamaria-k
Add klee taint special function
01970c7
@mamaria-k
Add FormatString, TaintOutput annotations
1104439
@mamaria-k
Add call buiders for new klee special function and add processing For…
7691cf5 
…matString annotation
@mamaria-k
Add correct size calculation for strings for taint klee special funct…
55bcd56 
…ions
@mamaria-k
Fix klee function for handler name
9101a78
@mamaria-k
Add taint annotations and transform annotaions file
636122d
@mamaria-k
Add taint annotations parsing and new klee taint function
69c52f3
@mamaria-k
Add TaintSink
2dc12d3
@mamaria-k
Update .gitignore
440292a
@mamaria-k
Separate Taint class of annotations
2d1afdd
@mamaria-k
Update TaintOutput
54531d3
@mamaria-k
Write mocks for taint annotations, change taint_type to taint_source
dd15b5a
@mamaria-k
Rafactor taint code
c4b8b10
@mamaria-k
Fix bugs, change annotation config and calc AnnotationData for Executor
bddcfc0
@mamaria-k
Fix
6a872a2
@mamaria-k
Add taint rules
bc922f5
@mamaria-k
Add custom taint rules from sarif file parsing
036c02e
@mamaria-k
Add taint for PointerExpr
add9e41
@mamaria-k
Small fix
787d94d
@mamaria-k
Add taint to Memory
202f6cf
@mamaria-k
Add taint to lazy object init and small methods
238fa5e
@mamaria-k
Add klee_mock without chaking size before add_taint
0eb3ce6
@mamaria-k
Add methods with taintOS
40d4a65
@mamaria-k
Add handlers and fix
82252b5
@mamaria-k mamaria-k requested review from Columpio and misonijnik May 25, 2024 23:27
@mamaria-k mamaria-k force-pushed the mamaria-k/taint-analysis-rebase branch from 3446b72 to b002e22 Compare May 26, 2024 14:22
@mamaria-k mamaria-k force-pushed the mamaria-k/taint-analysis-rebase branch from b002e22 to 47eaebb Compare May 26, 2024 14:58
@mamaria-k mamaria-k force-pushed the mamaria-k/taint-analysis-rebase branch from 0910264 to 6f84441 Compare June 10, 2024 12:02
@mamaria-k mamaria-k force-pushed the mamaria-k/taint-analysis-rebase branch from 6f84441 to cf083b6 Compare June 10, 2024 17:55
@mamaria-k mamaria-k force-pushed the mamaria-k/taint-analysis-rebase branch from 2aef259 to 3c9715c Compare June 11, 2024 02:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Columpio Columpio Awaiting requested review from Columpio

@misonijnik misonijnik Awaiting requested review from misonijnik

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@mamaria-k