issues
search
eurecom-s3
/
symcc
SymCC: efficient compiler-based symbolic execution
http://www.s3.eurecom.fr/tools/symbolic_execution/symcc.html
GNU General Public License v3.0
771
stars
137
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Clang format improvements
#122
sebastianpoeplau
closed
1 year ago
0
Add Ada bindings for the runtime
#121
sebastianpoeplau
closed
1 year ago
0
Support for variadic functions
#120
ercoppa
opened
1 year ago
1
Insertvalue fixes
#119
sebastianpoeplau
closed
1 year ago
0
Add a guideline for contributors
#118
sebastianpoeplau
closed
1 year ago
0
Add support for custom test-case handlers
#117
sebastianpoeplau
closed
1 year ago
0
Issue #112
#116
ercoppa
closed
1 year ago
6
Change the license of the SymCC runtime to LGPL
#115
sebastianpoeplau
closed
1 year ago
2
Change the license of the runtime to LGPL
#114
sebastianpoeplau
closed
1 year ago
6
Symbolic input from memory
#113
sebastianpoeplau
closed
1 year ago
0
Store i1 into memory
#112
ercoppa
closed
1 year ago
2
fix issue #109
#111
ercoppa
closed
1 year ago
1
fix for issue #108
#110
ercoppa
closed
1 year ago
0
visitSelectInst does not propagate the symbolic expression
#109
ercoppa
closed
1 year ago
2
Wrong handling of i1 in visitCastInst
#108
ercoppa
closed
1 year ago
2
Add support to LAVA-M dataset
#107
Yhcrown
opened
1 year ago
7
Failed to Compile with "-DTARGET_32BIT=ON"
#106
UESuperGate
opened
1 year ago
1
Failed to run hybrid fuzzing(AFL+SymCC) in VM.
#105
Vancir
opened
1 year ago
1
Error in compiling C++ programs using libcxx
#104
william4code
opened
1 year ago
1
Move to Clap3
#103
domenukk
closed
1 year ago
0
Test LAVA-M with SymCC
#102
Tricker-z
opened
2 years ago
0
Revert "symcc_fuzzing_helper: Move to clap3 (#94)"
#101
aurelf
closed
2 years ago
0
Error while running symcc_help_fuzzer
#100
ghost
opened
2 years ago
1
Question about pure_concolic_execution
#99
liushengahn
opened
2 years ago
1
Need help. Run benchmarks
#98
liushengahn
opened
2 years ago
0
how to build the 32-bit version of symcc
#97
liushengahn
closed
2 years ago
1
The question about std::cin
#96
liushengahn
opened
2 years ago
0
How do I run benchmark
#95
liushengahn
closed
2 years ago
4
Move to clap3
#94
domenukk
closed
2 years ago
2
Incorrect handle of bitcast instruction.
#93
Epeius
opened
2 years ago
0
argv argument as Input to the target program
#92
olli22221
opened
2 years ago
0
Forward CMAKE_MAKE_PROGRAM to SymRuntime
#91
fmeum
closed
2 years ago
0
Support AFL++ coverage maps
#90
mephi42
closed
2 months ago
0
Confusion of single-bits values and booleans for C type `_Bool`
#89
gernst
opened
2 years ago
0
Potentially missing test cases generated from a simple loop
#88
thuanpv
closed
1 year ago
4
Hybrid fuzzing (SymCC + AFL) does not work
#87
thuanpv
opened
2 years ago
3
PR for shift left overflow problem (issue #85)
#86
ret2dir
opened
2 years ago
0
Improper shift left overflow handling
#85
ret2dir
opened
2 years ago
0
PR for xor problem (issue #83)
#84
ret2dir
opened
2 years ago
0
Symcc fails to generate new inputs when there is a xor operation
#83
ret2dir
opened
2 years ago
2
Sorry for the mistake
#82
harperchen
closed
2 years ago
0
symcc fails to solve simple equality constraints
#81
yiyunliu
opened
2 years ago
1
Forward all potentially relevant CMake flags to ExternalProject
#80
fmeum
closed
2 years ago
0
More wrappers
#79
tiedaoxiaotubie
opened
2 years ago
0
fix constraint lost problem caused by mmap() wrapper
#78
tiedaoxiaotubie
closed
1 year ago
0
Improvement/intrinsics
#77
adrianherrera
closed
1 year ago
4
compiler: add supporting passes
#76
adrianherrera
closed
1 year ago
7
test: fix tests
#75
adrianherrera
closed
2 years ago
4
Manual build not generating symbolic output
#74
PROgram52bc
opened
2 years ago
0
Can symcc cover all the paths in one run?
#73
harperchen
closed
2 years ago
1
Previous
Next