issues
search
SVF-tools
/
Teaching-Software-Analysis
Teaching and Learning Software Analysis via SVF
GNU General Public License v3.0
194
stars
116
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Initial Devcontainer Setup
#48
sebasptsch
opened
2 months ago
1
Feat: Devcontainer Setup Option
#47
sebasptsch
opened
2 months ago
2
update
#46
jumormt
closed
3 months ago
0
Something Wrong with getting SourceLoc information
#45
p0l42
closed
6 months ago
2
the prelaunchtask c/c++ g++ build active file terminated with exit code
#44
xuanzhiliu
closed
9 months ago
1
fit assignment to new commandline
#43
guanqin-123
closed
1 year ago
0
Update Test4.cpp
#42
guanqin-123
closed
2 years ago
0
Some questions about assignment-2
#41
Nicholas-wei
closed
2 years ago
6
fix libtinfo.so.5: cannot open shared
#40
guanqin-123
closed
2 years ago
0
test2.cpp results and its dot graph fix
#39
guanqin-123
closed
2 years ago
0
fix the test2 results and outputs
#38
guanqin-123
closed
2 years ago
0
fix cmake && vscode settings
#37
guanqin-123
closed
2 years ago
0
I have problem in CodeGraphs exercise.
#36
lcy8047
closed
2 years ago
2
release some resources correctly
#35
jmp0x7c00
closed
2 years ago
2
Strange error occurred after I updated the lasted SVF
#34
jmp0x7c00
closed
2 years ago
8
Can these four assignments provide answers?
#33
ApsarasX
closed
2 years ago
1
update z3 and cmake
#32
guanqin-123
closed
2 years ago
0
Some confusing problems when implementing Assignment 04.
#31
mobsceneZ
closed
2 years ago
11
Try to fix Error Squiggles in source code
#30
guanqin-123
closed
3 years ago
0
Parrallel
#29
guanqin-123
closed
3 years ago
0
assign-4 tests fix
#28
guanqin-123
closed
3 years ago
0
ander construct
#27
guanqin-123
closed
3 years ago
0
assign-4
#26
guanqin-123
closed
3 years ago
0
init Assign-3 testcase dot folder
#25
guanqin-123
closed
3 years ago
0
fix assign-4 testcase with debugging bc
#24
guanqin-123
closed
3 years ago
0
assign-3 add NOALIAS example
#23
guanqin-123
closed
3 years ago
0
assign-2 testcase answer fix
#22
guanqin-123
closed
3 years ago
0
update assign-2
#21
guanqin-123
closed
3 years ago
0
loop pag & icfg
#20
guanqin-123
closed
3 years ago
0
empty space added
#19
guanqin-123
closed
3 years ago
0
Parrallel
#18
guanqin-123
closed
3 years ago
0
CodeGraph
#17
guanqin-123
closed
3 years ago
0
Parrallel
#16
guanqin-123
closed
3 years ago
0
update for assign-4
#15
guanqin-123
closed
3 years ago
0
glibc issues
#14
guanqin-123
closed
3 years ago
0
prepare overriding identifySinks() && identifySources()
#13
guanqin-123
closed
3 years ago
0
Assignment-2:src --> source
#12
guanqin-123
closed
3 years ago
0
assign-4 testcase for linux container
#11
guanqin-123
closed
3 years ago
0
assignment-2 && cmakelists sub directory
#10
guanqin-123
closed
3 years ago
0
hello world
#9
guanqin-123
closed
3 years ago
0
Parrallel
#8
guanqin-123
closed
3 years ago
0
add workspacefoler in include path
#7
guanqin-123
closed
3 years ago
0
tasks.json
#6
guanqin-123
closed
3 years ago
0
assign-2
#5
guanqin-123
closed
3 years ago
0
support vscode with all release-build && Assignment-1 graph template
#4
guanqin-123
closed
3 years ago
0
svf release && svf-example debug
#3
guanqin-123
closed
3 years ago
0
revised
#2
charles32110
closed
3 years ago
0
init
#1
charles32110
closed
3 years ago
0