seahorn/clam issues and pull requests

#46 - Docker Pull not Working

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

#45 - Specify entry point and auto generate nd values

Issue - State: closed - Opened by zunchenhuang about 5 years ago - 5 comments
Labels: question

#44 - CMake Option Names

Issue - State: closed - Opened by agurfinkel about 5 years ago

#43 - Making easier integration of Crab-LLVM in other tools

Pull Request - State: closed - Opened by caballa about 5 years ago

#42 - Sea-DSA uses up a lot of memory

Issue - State: closed - Opened by shankarapailoor over 5 years ago

#41 - Devirtualization Error

Issue - State: closed - Opened by shankarapailoor over 5 years ago - 2 comments

#40 - Update dockerfiles for ubuntu bionic:

Pull Request - State: closed - Opened by kuhar over 5 years ago - 1 comment

#39 - Segmentation Fault During Analysis

Issue - State: closed - Opened by shankarapailoor over 5 years ago - 2 comments

#38 - Interprocedural Invariants

Issue - State: closed - Opened by shankarapailoor over 5 years ago - 4 comments

#37 - Seemingly Spurious Bot Invariants Generated

Issue - State: closed - Opened by shankarapailoor over 5 years ago - 4 comments

#36 - Not Handled Expression

Issue - State: closed - Opened by shankarapailoor over 5 years ago - 4 comments

#35 - Crab CFG has no exit

Issue - State: closed - Opened by shankarapailoor over 5 years ago - 3 comments

#34 - Crab Error: CFG has no exit

Issue - State: closed - Opened by shankarapailoor over 5 years ago - 6 comments

#33 - LLVM-8.0 use sea-dsa to resolve indirect calls

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

#32 - Invariants aren't inserted into LLVM bitcode

Issue - State: closed - Opened by Liblor over 5 years ago - 2 comments

#31 - [llvm-dis] Invalid instruction with no BB

Issue - State: closed - Opened by Liblor over 5 years ago - 1 comment

#30 - ICE error with the head of master tree

Issue - State: closed - Opened by z971586668 over 5 years ago - 14 comments

#29 - clang-format HeapAbstractions

Pull Request - State: closed - Opened by kuhar over 5 years ago

#28 - Types 5.0

Pull Request - State: closed - Opened by kuhar almost 6 years ago

#27 - Types 5.0

Pull Request - State: closed - Opened by kuhar almost 6 years ago - 8 comments

#26 - Wrong order of include directories when build from SeaHorn

Issue - State: closed - Opened by agurfinkel almost 6 years ago - 1 comment

#25 - Resolving indirect calls

Issue - State: closed - Opened by caballa about 6 years ago - 2 comments
Labels: question

#24 - install clang-3.8

Issue - State: closed - Opened by tregua87 about 6 years ago - 5 comments
Labels: question

#23 - Use opt_octagon instead of octagon.

Pull Request - State: closed - Opened by skkeem about 6 years ago - 1 comment

#22 - ELINA(--crab-dom=opt) uses octagon instead of opt_octagon

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

#21 - Port to LLVM 5.0

Issue - State: closed - Opened by caballa about 6 years ago - 6 comments
Labels: enhancement

#20 - Unsoundness with recursive functions

Issue - State: closed - Opened by chkl over 6 years ago - 1 comment

#19 - Add array expansion domain

Issue - State: closed - Opened by caballa over 6 years ago - 1 comment
Labels: enhancement, crab, new domain

#18 - PK domain is sometimes less precise than int?

Issue - State: closed - Opened by chkl over 6 years ago - 5 comments
Labels: question

#17 - README.md fix: crab-dom=VAL instead of crab-domain=VAL

Pull Request - State: closed - Opened by cvrac over 6 years ago

#16 - Possibly stack overflow while computing WTO of a large CFG

Issue - State: closed - Opened by caballa over 6 years ago - 1 comment
Labels: bug

#15 - Add array graph domain

Issue - State: closed - Opened by caballa about 7 years ago - 1 comment
Labels: enhancement, crab, new domain

#14 - Is it possible to integrate crab-llvm at the library level?

Issue - State: closed - Opened by ghost over 7 years ago - 3 comments
Labels: question

#13 - cannot build crab-llvm due to an ocaml-llvm binding issue

Issue - State: closed - Opened by ghost over 7 years ago - 10 comments

#12 - Cannot build crab-llvm due to error: could not find svn for checkout of llvm

Issue - State: closed - Opened by ghost over 7 years ago - 2 comments

#11 - added #! to use python2 in python scripts

Pull Request - State: closed - Opened by Robbepop over 7 years ago - 1 comment

#10 - CRAB error because GMP z_number does not fit into a signed long integer

Issue - State: closed - Opened by caballa over 7 years ago - 2 comments
Labels: bug, fixed

#9 - Segfault in crab-llvm-pp when LowerSwitch pass is executed

Issue - State: closed - Opened by caballa over 7 years ago - 1 comment
Labels: bug

#8 - Support for multiple input files

Issue - State: closed - Opened by caballa over 7 years ago
Labels: low priority, frontend

#7 - Precise translation of boolean operations

Issue - State: closed - Opened by caballa over 7 years ago - 1 comment
Labels: high priority

#6 - Precise translation of pointer instructions

Issue - State: closed - Opened by caballa over 7 years ago - 2 comments
Labels: high priority

#5 - Integrate master branch from crab

Issue - State: closed - Opened by caballa over 7 years ago - 2 comments
Labels: enhancement, crab, high priority

#4 - Replace adapt-rtz domain with a more precise version

Issue - State: closed - Opened by caballa over 7 years ago - 1 comment
Labels: crab, low priority, new domain

#3 - Add nullity analysis

Issue - State: closed - Opened by caballa over 7 years ago - 1 comment
Labels: enhancement, crab, new analysis

#2 - Integrate new DSA from seahorn

Issue - State: closed - Opened by caballa over 7 years ago - 1 comment
Labels: enhancement, dsa

#1 - Cannot build with shared libraries

Issue - State: closed - Opened by caballa over 7 years ago - 1 comment
Labels: low priority

GitHub / seahorn/clam issues and pull requests