issues
search
seahorn
/
clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Apache License 2.0
273
stars
37
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Usage of clam.py with multiple files
#101
luamfb
closed
1 week ago
2
Clam Error on LLVM IR translation to CrabIR
#100
LinerSu
opened
4 months ago
0
Accessing Datalayout when it changed on ClamQueryCache
#99
LinerSu
closed
4 months ago
1
Null-dereference in CFGBuilder
#98
caballa
closed
4 months ago
1
Use llvm::PointerType::getInt8PtrTy() instead of llvm::Type::getInt8P…
#97
ghost
closed
5 months ago
1
No support for pk and oct domain analysis of master branch
#96
guangshengfan
closed
5 months ago
2
Are there any artifacts or repositories that use clam to test SV-COMP benchmark?
#95
guangshengfan
closed
5 months ago
2
Clam missing a warning about an unsafe assertion
#94
andrea1775
closed
5 months ago
1
Clam missing a warning
#93
andrea1775
closed
6 months ago
1
Problem in the translation from LLVM to CrabIR
#92
caballa
closed
4 months ago
1
Crab giving an inconsistent number of warnings
#91
andrea1775
closed
8 months ago
1
Compilation fails using llvm 14.0.6
#90
ucchiee
closed
10 months ago
1
Clam unexpectly reporting assertion failures
#89
andrea1775
closed
11 months ago
1
fix: lowering of unsigned comparisons
#88
caballa
closed
11 months ago
0
Clam missing a warning
#87
andrea1775
closed
11 months ago
1
fix: https://github.com/seahorn/clam/issues/85
#86
caballa
closed
1 year ago
0
Error Encountered in Clam with Context-Sensitive Heap Analysis: Mismatch in Input Count
#85
ZhenWang233
closed
1 year ago
1
PPLite domains available via both native and Apron interfaces.
#84
ezaffanella
opened
1 year ago
0
Inconsistent number of warnings in clam
#83
andrea1775
opened
1 year ago
0
questions about LLVM versions
#79
mine-blog
closed
1 year ago
2
CMake Error: Clam/py/setup.py.in file missing
#78
ZhenWang233
closed
1 year ago
2
test(inter): add more tests for interprocedural analysis
#77
LinerSu
closed
1 year ago
1
Missing Warning
#76
IreneStergioti
closed
1 year ago
1
Inconsistent number of warnings in clam
#75
IreneStergioti
closed
1 year ago
0
Question about clam API compile error
#74
YunMoZhang
closed
1 year ago
4
Regression test error
#73
YunMoZhang
closed
1 year ago
8
Improve variables' names
#72
gretadolcetti
closed
1 year ago
0
Add pkf-pplite and pkset-pplite as Crab domains
#71
gretadolcetti
closed
1 year ago
0
fix: boolean operator for boolean operands
#70
priyasiddharth
closed
1 year ago
2
question about --crab-bounds-check
#69
bjjwwang
closed
1 year ago
3
Function @verifier.assume has invalid attributes
#68
foonathan
closed
1 year ago
2
How to reproduce Elina paper results
#67
caballa
closed
2 years ago
34
Installing Crab with some dependencies installed out-of-the-tree
#66
dengyuhui14
closed
2 years ago
33
Question: Why doesn't Clam use SeaDSA's butd-cs analysis?
#65
adrianherrera
closed
2 years ago
2
refactor(cfg-builder): split assume of conjunction into conjunction assumes
#64
LinerSu
closed
2 years ago
1
fix(NameValues): duplicate arg name
#63
adrianherrera
closed
2 years ago
0
Fail to build shared library
#62
adrianherrera
closed
2 years ago
3
Analyzing FP programs questions
#61
joaoriverd
closed
2 years ago
2
fix(cfg-builder): incorrect variable name used in assert
#60
adrianherrera
closed
2 years ago
1
Tag analysis questions
#59
adrianherrera
closed
2 years ago
2
/usr/bin/ld: cannot find -lLLVMExtensions
#58
zunchenhuang
closed
2 years ago
3
fix(cfg): convert signed nums to unsigned if meets unsigned operators
#57
LinerSu
closed
2 years ago
4
feat(bnd-check): add translation for global objects
#56
LinerSu
closed
2 years ago
0
feat(lib): add havoc insertion by cfg emitter
#55
LinerSu
closed
3 years ago
1
Instrument select ref Crab IR
#54
LinerSu
closed
3 years ago
1
Question: Out of memory when running on a large bitcode file
#53
yiyuaner
closed
3 years ago
4
Question about assertion checking?
#52
yiyuaner
closed
3 years ago
5
feat(cfg): convert unsigned comparison to signed comparisons
#51
LinerSu
closed
3 years ago
2
Feat: Add reference's bound checks
#50
LinerSu
closed
3 years ago
3
Llvm10
#49
AVassilev98
closed
4 years ago
0
Next