-
Notifications
You must be signed in to change notification settings - Fork 137
Issues: eurecom-s3/symcc
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Missing support for arithmetic on booleans and vector types
enhancement
New feature or request
#171
opened Apr 23, 2024 by
exatoa
Support for variadic functions
enhancement
New feature or request
#120
opened Dec 22, 2022 by
ercoppa
Add support to LAVA-M dataset
enhancement
New feature or request
#107
opened Sep 25, 2022 by
Yhcrown
Loading…
Backend Rust/Foreign Language Support
enhancement
New feature or request
#69
opened Jul 29, 2021 by
julihoh
Loading…
SYMCC_INPUT_FILE comparison uses strstr
enhancement
New feature or request
#53
opened Feb 23, 2021 by
grant-h
Allow solve time granted to be in an env var
enhancement
New feature or request
#50
opened Jan 30, 2021 by
vanhauser-thc
Use LLVM SanitizerCoverage?
enhancement
New feature or request
#37
opened Jan 5, 2021 by
sebastianpoeplau
Potential bug in the Symbolise pass -- "Calling a function with a bad signature''
bug
Something isn't working
enhancement
New feature or request
#34
opened Nov 27, 2020 by
kg8280
Hybrid fuzzing with simple backend
enhancement
New feature or request
#30
opened Oct 26, 2020 by
wuruoyu
Path not found
documentation
Improvements or additions to documentation
enhancement
New feature or request
#23
opened Sep 21, 2020 by
vanhauser-thc
Extend SymCC to perform forking exploration (not just concolic execution)
enhancement
New feature or request
#14
opened Aug 15, 2020 by
pgarba
ProTip!
Add no:assignee to see everything that’s not assigned.