seahorn/clam issues and pull requests

#101 - Usage of clam.py with multiple files

Issue - State: closed - Opened by luamfb 3 months ago - 2 comments
Labels: question

#101 - Usage of clam.py with multiple files

Issue - State: closed - Opened by luamfb 3 months ago - 2 comments
Labels: question

#100 - Clam Error on LLVM IR translation to CrabIR

Issue - State: open - Opened by LinerSu 7 months ago
Labels: bug, llvm-to-crabIR

#100 - Clam Error on LLVM IR translation to CrabIR

Issue - State: open - Opened by LinerSu 7 months ago
Labels: bug, llvm-to-crabIR

#99 - Accessing Datalayout when it changed on ClamQueryCache

Issue - State: closed - Opened by LinerSu 8 months ago - 1 comment
Labels: bug

#99 - Accessing Datalayout when it changed on ClamQueryCache

Issue - State: closed - Opened by LinerSu 8 months ago - 1 comment
Labels: bug

#98 - Null-dereference in CFGBuilder

Issue - State: closed - Opened by caballa 8 months ago - 1 comment
Labels: bug

#98 - Null-dereference in CFGBuilder

Issue - State: closed - Opened by caballa 8 months ago - 1 comment
Labels: bug

#97 - Use llvm::PointerType::getInt8PtrTy() instead of llvm::Type::getInt8P…

Pull Request - State: closed - Opened by ghost 8 months ago - 1 comment

#97 - Use llvm::PointerType::getInt8PtrTy() instead of llvm::Type::getInt8P…

Pull Request - State: closed - Opened by ghost 8 months ago - 1 comment

#96 - No support for pk and oct domain analysis of master branch

Issue - State: closed - Opened by ghost 9 months ago - 2 comments
Labels: question

#96 - No support for pk and oct domain analysis of master branch

Issue - State: closed - Opened by ghost 9 months ago - 2 comments
Labels: question

#95 - Are there any artifacts or repositories that use clam to test SV-COMP benchmark?

Issue - State: closed - Opened by ghost 9 months ago - 2 comments
Labels: question

#95 - Are there any artifacts or repositories that use clam to test SV-COMP benchmark?

Issue - State: closed - Opened by ghost 9 months ago - 2 comments
Labels: question

#94 - Clam missing a warning about an unsafe assertion

Issue - State: closed - Opened by andrea1775 9 months ago - 1 comment
Labels: bug, llvm-to-crabIR

#94 - Clam missing a warning about an unsafe assertion

Issue - State: closed - Opened by andrea1775 9 months ago - 1 comment
Labels: bug, llvm-to-crabIR

#93 - Clam missing a warning

Issue - State: closed - Opened by andrea1775 10 months ago - 1 comment

#93 - Clam missing a warning

Issue - State: closed - Opened by andrea1775 10 months ago - 1 comment

#92 - Problem in the translation from LLVM to CrabIR

Issue - State: closed - Opened by caballa 10 months ago - 1 comment
Labels: bug, llvm-to-crabIR

#92 - Problem in the translation from LLVM to CrabIR

Issue - State: closed - Opened by caballa 10 months ago - 1 comment
Labels: bug, llvm-to-crabIR

#91 - Crab giving an inconsistent number of warnings

Issue - State: closed - Opened by andrea1775 12 months ago - 1 comment
Labels: bug

#91 - Crab giving an inconsistent number of warnings

Issue - State: closed - Opened by andrea1775 12 months ago - 1 comment
Labels: bug

#90 - Compilation fails using llvm 14.0.6

Issue - State: closed - Opened by ucchiee about 1 year ago - 1 comment

#90 - Compilation fails using llvm 14.0.6

Issue - State: closed - Opened by ucchiee about 1 year ago - 1 comment

#89 - Clam unexpectly reporting assertion failures

Issue - State: closed - Opened by andrea1775 about 1 year ago - 1 comment

#89 - Clam unexpectly reporting assertion failures

Issue - State: closed - Opened by andrea1775 about 1 year ago - 1 comment

#88 - fix: lowering of unsigned comparisons

Pull Request - State: closed - Opened by caballa about 1 year ago

#88 - fix: lowering of unsigned comparisons

Pull Request - State: closed - Opened by caballa about 1 year ago

#87 - Clam missing a warning

Issue - State: closed - Opened by andrea1775 over 1 year ago - 1 comment
Labels: bug

#87 - Clam missing a warning

Issue - State: closed - Opened by andrea1775 over 1 year ago - 1 comment
Labels: bug

#86 - fix: https://github.com/seahorn/clam/issues/85

Pull Request - State: closed - Opened by caballa over 1 year ago

#86 - fix: https://github.com/seahorn/clam/issues/85

Pull Request - State: closed - Opened by caballa over 1 year ago

#85 - Error Encountered in Clam with Context-Sensitive Heap Analysis: Mismatch in Input Count

Issue - State: closed - Opened by ZhenWang233 over 1 year ago - 1 comment
Labels: bug

#85 - Error Encountered in Clam with Context-Sensitive Heap Analysis: Mismatch in Input Count

Issue - State: closed - Opened by ZhenWang233 over 1 year ago - 1 comment
Labels: bug

#84 - PPLite domains available via both native and Apron interfaces.

Pull Request - State: open - Opened by ezaffanella over 1 year ago

#84 - PPLite domains available via both native and Apron interfaces.

Pull Request - State: open - Opened by ezaffanella over 1 year ago

#83 - Inconsistent number of warnings in clam

Issue - State: open - Opened by andrea1775 over 1 year ago
Labels: bug, crab, backward analysis

#83 - Inconsistent number of warnings in clam

Issue - State: open - Opened by andrea1775 over 1 year ago
Labels: bug, crab, backward analysis

#79 - questions about LLVM versions

Issue - State: closed - Opened by mine-blog over 1 year ago - 2 comments

#79 - questions about LLVM versions

Issue - State: closed - Opened by mine-blog over 1 year ago - 2 comments

#78 - CMake Error: Clam/py/setup.py.in file missing

Issue - State: closed - Opened by ZhenWang233 over 1 year ago - 2 comments

#78 - CMake Error: Clam/py/setup.py.in file missing

Issue - State: closed - Opened by ZhenWang233 over 1 year ago - 2 comments

#77 - test(inter): add more tests for interprocedural analysis

Pull Request - State: closed - Opened by LinerSu almost 2 years ago - 1 comment

#77 - test(inter): add more tests for interprocedural analysis

Pull Request - State: closed - Opened by LinerSu almost 2 years ago - 1 comment

#76 - Missing Warning

Issue - State: closed - Opened by IreneStergioti almost 2 years ago - 1 comment
Labels: bug

#76 - Missing Warning

Issue - State: closed - Opened by IreneStergioti almost 2 years ago - 1 comment
Labels: bug

#75 - Inconsistent number of warnings in clam

Issue - State: closed - Opened by IreneStergioti almost 2 years ago
Labels: bug

#75 - Inconsistent number of warnings in clam

Issue - State: closed - Opened by IreneStergioti almost 2 years ago
Labels: bug

#74 - Question about clam API compile error

Issue - State: closed - Opened by YunMoZhang almost 2 years ago - 4 comments
Labels: question

#74 - Question about clam API compile error

Issue - State: closed - Opened by YunMoZhang almost 2 years ago - 4 comments
Labels: question

#73 - Regression test error

Issue - State: closed - Opened by YunMoZhang almost 2 years ago - 8 comments
Labels: question

#73 - Regression test error

Issue - State: closed - Opened by YunMoZhang almost 2 years ago - 8 comments
Labels: question

#72 - Improve variables' names

Pull Request - State: closed - Opened by gretadolcetti about 2 years ago

#72 - Improve variables' names

Pull Request - State: closed - Opened by gretadolcetti about 2 years ago

#71 - Add pkf-pplite and pkset-pplite as Crab domains

Pull Request - State: closed - Opened by gretadolcetti about 2 years ago

#71 - Add pkf-pplite and pkset-pplite as Crab domains

Pull Request - State: closed - Opened by gretadolcetti about 2 years ago

#70 - fix: boolean operator for boolean operands

Pull Request - State: closed - Opened by priyasiddharth about 2 years ago - 2 comments

#70 - fix: boolean operator for boolean operands

Pull Request - State: closed - Opened by priyasiddharth about 2 years ago - 2 comments

#69 - question about --crab-bounds-check

Issue - State: closed - Opened by bjjwwang about 2 years ago - 3 comments
Labels: question

#69 - question about --crab-bounds-check

Issue - State: closed - Opened by bjjwwang about 2 years ago - 3 comments
Labels: question

#68 - Function @verifier.assume has invalid attributes

Issue - State: closed - Opened by foonathan about 2 years ago - 2 comments

#68 - Function @verifier.assume has invalid attributes

Issue - State: closed - Opened by foonathan about 2 years ago - 2 comments

#67 - How to reproduce Elina paper results

Issue - State: closed - Opened by caballa over 2 years ago - 34 comments
Labels: question

#67 - How to reproduce Elina paper results

Issue - State: closed - Opened by caballa over 2 years ago - 34 comments
Labels: question

#66 - Installing Crab with some dependencies installed out-of-the-tree

Issue - State: closed - Opened by dengyuhui14 over 2 years ago - 33 comments
Labels: question

#66 - Installing Crab with some dependencies installed out-of-the-tree

Issue - State: closed - Opened by dengyuhui14 over 2 years ago - 33 comments
Labels: question

#65 - Question: Why doesn't Clam use SeaDSA's butd-cs analysis?

Issue - State: closed - Opened by adrianherrera over 2 years ago - 2 comments
Labels: question

#65 - Question: Why doesn't Clam use SeaDSA's butd-cs analysis?

Issue - State: closed - Opened by adrianherrera over 2 years ago - 2 comments
Labels: question

#64 - refactor(cfg-builder): split assume of conjunction into conjunction assumes

Pull Request - State: closed - Opened by LinerSu over 2 years ago - 1 comment

#64 - refactor(cfg-builder): split assume of conjunction into conjunction assumes

Pull Request - State: closed - Opened by LinerSu over 2 years ago - 1 comment

#63 - fix(NameValues): duplicate arg name

Pull Request - State: closed - Opened by adrianherrera over 2 years ago

#63 - fix(NameValues): duplicate arg name

Pull Request - State: closed - Opened by adrianherrera over 2 years ago

#62 - Fail to build shared library

Issue - State: closed - Opened by adrianherrera over 2 years ago - 3 comments

#62 - Fail to build shared library

Issue - State: closed - Opened by adrianherrera over 2 years ago - 3 comments

#61 - Analyzing FP programs questions

Issue - State: closed - Opened by joaoriverd over 2 years ago - 2 comments
Labels: question

#61 - Analyzing FP programs questions

Issue - State: closed - Opened by joaoriverd over 2 years ago - 2 comments
Labels: question

#60 - fix(cfg-builder): incorrect variable name used in assert

Pull Request - State: closed - Opened by adrianherrera over 2 years ago - 1 comment

#59 - Tag analysis questions

Issue - State: closed - Opened by adrianherrera almost 3 years ago - 2 comments
Labels: question

#59 - Tag analysis questions

Issue - State: closed - Opened by adrianherrera almost 3 years ago - 2 comments
Labels: question

#58 - /usr/bin/ld: cannot find -lLLVMExtensions

Issue - State: closed - Opened by zunchenhuang about 3 years ago - 3 comments

#58 - /usr/bin/ld: cannot find -lLLVMExtensions

Issue - State: closed - Opened by zunchenhuang about 3 years ago - 3 comments

#57 - fix(cfg): convert signed nums to unsigned if meets unsigned operators

Pull Request - State: closed - Opened by LinerSu about 3 years ago - 4 comments

#57 - fix(cfg): convert signed nums to unsigned if meets unsigned operators

Pull Request - State: closed - Opened by LinerSu about 3 years ago - 4 comments

#56 - feat(bnd-check): add translation for global objects

Pull Request - State: closed - Opened by LinerSu about 3 years ago

#56 - feat(bnd-check): add translation for global objects

Pull Request - State: closed - Opened by LinerSu about 3 years ago

#55 - feat(lib): add havoc insertion by cfg emitter

Pull Request - State: closed - Opened by LinerSu about 3 years ago - 1 comment

#55 - feat(lib): add havoc insertion by cfg emitter

Pull Request - State: closed - Opened by LinerSu about 3 years ago - 1 comment

#54 - Instrument select ref Crab IR

Pull Request - State: closed - Opened by LinerSu over 3 years ago - 1 comment

#54 - Instrument select ref Crab IR

Pull Request - State: closed - Opened by LinerSu over 3 years ago - 1 comment

#53 - Question: Out of memory when running on a large bitcode file

Issue - State: closed - Opened by yiyuaner over 3 years ago - 4 comments
Labels: question

#53 - Question: Out of memory when running on a large bitcode file

Issue - State: closed - Opened by yiyuaner over 3 years ago - 4 comments
Labels: question

#52 - Question about assertion checking?

Issue - State: closed - Opened by yiyuaner over 3 years ago - 5 comments
Labels: question

#52 - Question about assertion checking?

Issue - State: closed - Opened by yiyuaner over 3 years ago - 5 comments
Labels: question

#51 - feat(cfg): convert unsigned comparison to signed comparisons

Pull Request - State: closed - Opened by LinerSu over 3 years ago - 2 comments

#51 - feat(cfg): convert unsigned comparison to signed comparisons

Pull Request - State: closed - Opened by LinerSu over 3 years ago - 2 comments

#50 - Feat: Add reference's bound checks

Pull Request - State: closed - Opened by LinerSu over 3 years ago - 3 comments

#50 - Feat: Add reference's bound checks

Pull Request - State: closed - Opened by LinerSu over 3 years ago - 3 comments

#49 - Llvm10

Pull Request - State: closed - Opened by AVassilev98 over 4 years ago

#48 - fatal: Could not find the clam executable

Issue - State: closed - Opened by chenxi-yang over 4 years ago - 6 comments

#47 - Wrap BB names in shared_ptr and replace comparison operators to use int ids.

Pull Request - State: closed - Opened by parvmor over 4 years ago

GitHub / seahorn/clam issues and pull requests