seahorn/crab

Issues

• Bug in flat_boolean_domain

  #64 opened 7 months ago by ffrohn
  1

• Should we add the bitwise complement (~) operation in Crab?

  #63 opened a year ago by guangshengfan
  2

• What is the difference between the wrapped_interval implemented in crab and the one implemented in TOPLAS15 paper?

  #61 opened a year ago by guangshengfan
  2

• An instance of boxes domain can be in an inconsistent state due to global state

  #3 opened 7 years ago by caballa
  0

• Make generic weights of adaptative sparse graph

  #22 opened a year ago by caballa
  0

• Python API

  #4 opened 2 years ago by caballa
  0

• Question regarding "cyclic" encoding and propagation of analysis results

  #45 opened 3 years ago by MarcoGrochowski
  9

• Optimize/cleanup array graph domain

  #5 opened 3 years ago by caballa
  1

• Create tree expressions and adapt abstract domains to use them

  #40 opened 3 years ago by caballa
  0

• Zones domains (sparse_dbm and split_dbm): implement narrowing, widening w/thresholds, strict inequalities, and disequations

  #8 opened 7 years ago by caballa
  0

• Adapt numerical domains for supporting reals

  #10 opened 7 years ago by caballa
  1

• Add widening with thresholds in apron domains

  #20 opened 6 years ago by caballa
  0

• Enhance top-down inter-procedural analysis

  #28 opened 3 years ago by caballa
  1

• Question regarding the CFG input encoding for the analysis

  #39 opened 4 years ago by MarcoGrochowski
  7

• Reduce compilation time

  #11 opened 4 years ago by caballa
  1

• Reaching Definitions Analysis

  #33 opened 4 years ago by MarcoGrochowski
  5

• "compress" `powerset_domain` domain after projection

  #37 opened 4 years ago by aytey
  4

• General question on "backward_assign_operations"

  #38 opened 4 years ago by aytey
  1

• Compiler warning with `dev`

  #36 opened 4 years ago by aytey
  1

• How to correctly represent "else" when manually working with `powerset_domain`

  #35 opened 4 years ago by aytey
  9

• Question: "range of intervals"

  #34 opened 4 years ago by aytey
  14

• Does crab support running on MacOS?

  #32 opened 4 years ago by chenxi-yang
  8

• Elina does not compile on mac: `'stdlib.h' file not found`

  #27 opened 6 years ago by elazarg
  4

• CMake Options

  #30 opened 5 years ago by agurfinkel
  0

• Improve precision and performance of backward operations

  #15 opened 7 years ago by caballa
  2

• Bug with apron-domains and rationals

  #6 opened 6 years ago by caballa
  0

• none-optional dereference on array-expansion domain with elina-pk

  #26 opened 6 years ago by elazarg
  3

• Possibly stack overflow while computing WTO of a large CFG

  #18 opened 6 years ago by caballa
  1

• Add new operations to abstract_domain virtual class

  #13 opened 6 years ago by caballa
  1

• More precise bitwise AND

  #24 opened 6 years ago by elazarg
  1

• Valgrind warnings

  #25 opened 6 years ago by elazarg
  1

• Integrate new ELINA

  #16 opened 6 years ago by caballa
  1

• Add a logico-numerical abstract domain

  #9 opened 6 years ago by caballa
  3

• Copy-on-write optimization in apron_domains, split_dbm, and sparse_dbm seems flaky

  #17 opened 6 years ago by caballa
  0

• zones with bignum seems to be imprecise for computing summaries

  #19 opened 6 years ago by caballa
  1

• Adaptative domain between a relational and non-relational domain

  #7 opened 6 years ago by caballa
  1

• g++-8:

  #21 opened 6 years ago by elazarg
  4

• Implement a sound domain for machine integer arithmetic

  #12 opened 7 years ago by caballa
  1

• Extend linear_constraints to strict inequalities

  #14 opened 7 years ago by caballa
  0

• Restrict API of CFG array_assume method

  #2 opened 7 years ago by caballa
  0

• Improve precision of boxes when constraints that involve more than one variable

  #1 opened 7 years ago by caballa
  0