plast-lab cclyzer-souffle issues - Githubissues

plast-lab / cclyzer-souffle

CClyzer port to souffle lang

MIT License

18 stars 8 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Update to llvm-14

#17 AnargyrosArg closed 2 years ago
0
Possible callgraph analysis bug, calls to function pointers not among callgraph_edges

#16 ringzer0x00 opened 3 years ago
3
Update broken Dockerfile

#15 ringzer0x00 closed 3 years ago
1
tools/*/Makefile: Allow to overload -lboost_python

#14 cmuellner closed 3 years ago
1
Build issue with Souffle 2.1

#13 cmuellner closed 3 years ago
1
Understanding Callgraph Output/Doing Callgraph Analysis

#12 JamesShaker opened 3 years ago
8
Call-sensitive analyses broken on Docker container

#11 ringzer0x00 closed 3 years ago
5
Dockerfile

#10 adrianherrera closed 3 years ago
2
Question about interpreting results of analysis

#9 efferifick opened 3 years ago
1
Fix get element pointer bug in logic

#8 TheoKant closed 3 years ago
0
Create Readme

#7 TheoKant closed 3 years ago
0
Add execution script

#6 TheoKant closed 3 years ago
0
Context fixes and analysis improvements

#5 TheoKant closed 3 years ago
0
Llvm 10

#4 TheoKant closed 3 years ago
1
2 call site sensitive analysis performs as 1 call site sensitive analysis

#3 psubotic opened 5 years ago
0
points-analysis may not handle getelementptr

#2 joseph-isaacs opened 5 years ago
0
mods. in support of LLVM 4.0-8.0

#1 d-millar closed 5 years ago
2