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

Concolic tracing/mutation #5

Open
4 tasks
novafacing opened this issue Sep 14, 2023 · 0 comments
Open
4 tasks

Concolic tracing/mutation #5

novafacing opened this issue Sep 14, 2023 · 0 comments
Labels
enhancement A new feature or enhancement to an existing feature. low-priority Low priority tasks that still need to be completed for an upcoming release. major A major change, bug, or feature requiring significant effort. research Research-level tasks that may take a significant amount of time and effort.

Comments

@novafacing
Copy link
Contributor

Concolic/symbolic tracing of executions and path constraint solving for passing hard checks.

  • Choose on-the-fly lifting or compiler instrumentation
  • Choose a lifter/instrumentation strategy (e.g. lift to VEX, SymCC, etc)
  • Add the concolic stage to the fuzzer
  • Add the module-side support (whether supporting the instrumentation or lifting and solving)
@novafacing novafacing added major A major change, bug, or feature requiring significant effort. low-priority Low priority tasks that still need to be completed for an upcoming release. research Research-level tasks that may take a significant amount of time and effort. enhancement A new feature or enhancement to an existing feature. labels Sep 14, 2023
@novafacing novafacing mentioned this issue Sep 14, 2023
Open
novafacing pushed a commit to novafacing/tsffs that referenced this issue Mar 12, 2024
@brandonmarken
Merge pull request intel#5 from intel-sandbox/bmarken/synchronization
c6fc701 
Connected the simics and AFL++ components
novafacing pushed a commit to novafacing/tsffs that referenced this issue Mar 12, 2024
@brandonmarken
Merge pull request intel#5 from intel-sandbox/bmarken/synchronization
26dc2b8 
Connected the simics and AFL++ components
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement A new feature or enhancement to an existing feature. low-priority Low priority tasks that still need to be completed for an upcoming release. major A major change, bug, or feature requiring significant effort. research Research-level tasks that may take a significant amount of time and effort.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@novafacing