issues
search
R-Fuzz
/
symsan
A LLVM Sanitizer for Symbolic Tracing
Apache License 2.0
206
stars
29
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Aixcc
#34
ChengyuSong
closed
1 month ago
0
tests fail in Docker on M3
#33
imranur-rahman
closed
3 months ago
3
Robust improvements
#32
ChengyuSong
closed
5 months ago
0
dfsan_label problem
#31
p0l42
closed
5 months ago
3
porting more its solving strategies
#30
ChengyuSong
closed
7 months ago
0
Network
#29
ChengyuSong
closed
7 months ago
0
Parsing
#28
ChengyuSong
closed
7 months ago
0
Aflpp
#27
ChengyuSong
closed
7 months ago
0
Aflpp
#26
ChengyuSong
closed
7 months ago
0
Assertion failure in __dfsw_mbrtowc
#25
yiyuaner
opened
11 months ago
1
Is symsan in this repository compatible with R-Fuzz/fastgen?
#24
yiyuaner
closed
11 months ago
1
Install libunwind-dev
#23
chenju2k6
closed
1 year ago
1
test failed
#22
lz1159435992
opened
1 year ago
6
Some questions about code modification
#21
lz1159435992
closed
3 months ago
5
Retv
#20
ChengyuSong
closed
1 year ago
0
make failed
#19
amie0
opened
1 year ago
8
Fix bug in isLoopLatch
#18
mingjun97
closed
1 year ago
2
update dockerfile for afl++
#17
vanhauser-thc
closed
1 year ago
2
mazerunner-symsan frontend implementation
#16
sgzeng
opened
1 year ago
0
move to posix shared mem
#15
ChengyuSong
closed
1 year ago
0
not instrumenting vector index
#14
ChengyuSong
closed
1 year ago
0
SymSan Failed to Compile Objdump
#13
UESuperGate
closed
1 year ago
1
Instrumenting "bswap" instruction which may appears in endianness conversion function (e.g. htonl)
#12
chenju2k6
opened
1 year ago
1
add an ID to branches and functions
#11
ChengyuSong
closed
1 year ago
0
rebuild.sh: fixed broken rebuild script
#10
adrianherrera
closed
1 year ago
0
C++ target with Z3 solver
#9
cgfandia-tii
closed
11 months ago
1
symbolic constraint collection
#8
zytMatrix
closed
2 years ago
0
add support for c++ targets
#7
ChengyuSong
closed
2 years ago
0
add support for c++ targets
#6
ChengyuSong
closed
2 years ago
0
Add support for strlen
#5
ChengyuSong
opened
2 years ago
0
automate tests
#4
ChengyuSong
closed
2 years ago
0
Fastgen
#3
ChengyuSong
closed
2 years ago
0
handle IntToPtr
#2
chenju2k6
closed
2 years ago
0
fixing cmp family return value
#1
ChengyuSong
closed
2 years ago
0