Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / seahorn/crab issues and pull requests

#64 - Bug in flat_boolean_domain

Issue - State: closed - Opened by ffrohn 7 months ago - 1 comment
Labels: bug

#63 - Should we add the bitwise complement (~) operation in Crab?

Issue - State: closed - Opened by ghost 12 months ago - 2 comments

#60 - Object domain

Pull Request - State: open - Opened by LinerSu about 1 year ago

#59 - PPLite native

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

#58 - cmake: new pplite 0.11

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

#57 - Merging dev branch into master

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

#56 - feat(small-range): add missing api for kind ExactlyOne

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

#55 - feat(domain): add missing parameterized constructor

Pull Request - State: closed - Opened by LinerSu over 1 year ago - 2 comments

#54 - feat(inter-analysis): integreate dsa info into callsite information

Pull Request - State: open - Opened by LinerSu almost 2 years ago

#53 - fix: boolean operators on boolean operands

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

#52 - PPLite integration using apron

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

#51 - Domain: variable packing improvement

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

#50 - feat(fixed-tvpi): improve binary op with var const

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

#48 - feat(fixed-tvpi): expand operation

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

#47 - fix: clam issue #62

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

#46 - refactor(region): add a constraint for size ghost if ref is null ptr

Pull Request - State: open - Opened by LinerSu over 2 years ago

#45 - Question regarding "cyclic" encoding and propagation of analysis results

Issue - State: closed - Opened by MarcoGrochowski over 2 years ago - 9 comments
Labels: question, inter, boxes

#44 - New Object domain

Pull Request - State: open - Opened by LinerSu almost 3 years ago - 3 comments

#43 - Prototype mru

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

#42 - Region Domain: MRU Cache

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

#41 - fix: add stdexcept header

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

#40 - Create tree expressions and adapt abstract domains to use them

Issue - State: open - Opened by caballa over 3 years ago
Labels: enhancement, domains, CrabIR

#39 - Question regarding the CFG input encoding for the analysis

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

#38 - General question on "backward_assign_operations"

Issue - State: closed - Opened by aytey about 4 years ago - 1 comment
Labels: question

#37 - "compress" `powerset_domain` domain after projection

Issue - State: closed - Opened by aytey about 4 years ago - 4 comments
Labels: question

#36 - Compiler warning with `dev`

Issue - State: closed - Opened by aytey about 4 years ago - 1 comment

#35 - How to correctly represent "else" when manually working with `powerset_domain`

Issue - State: closed - Opened by aytey about 4 years ago - 9 comments
Labels: question

#34 - Question: "range of intervals"

Issue - State: closed - Opened by aytey over 4 years ago - 14 comments
Labels: question

#33 - Reaching Definitions Analysis

Issue - State: closed - Opened by MarcoGrochowski over 4 years ago - 5 comments
Labels: question

#32 - Does crab support running on MacOS?

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

#31 - Prefix toplevel cmake options with CRAB

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

#30 - CMake Options

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

#29 - Making easier integration of Crab in other tools

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

#28 - Enhance top-down inter-procedural analysis

Issue - State: closed - Opened by caballa over 5 years ago - 1 comment
Labels: enhancement

#27 - Elina does not compile on mac: `'stdlib.h' file not found`

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

#26 - none-optional dereference on array-expansion domain with elina-pk

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

#25 - Valgrind warnings

Issue - State: closed - Opened by elazarg about 6 years ago - 1 comment
Labels: question

#24 - More precise bitwise AND

Issue - State: closed - Opened by elazarg about 6 years ago - 1 comment
Labels: question

#23 - Prettier printing for split_dbm

Pull Request - State: closed - Opened by elazarg over 6 years ago - 2 comments

#22 - Make generic weights of adaptative sparse graph

Issue - State: closed - Opened by caballa over 6 years ago
Labels: question, domains

#21 - g++-8:

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

#20 - Add widening with thresholds in apron domains

Issue - State: open - Opened by caballa over 6 years ago
Labels: enhancement, domains

#19 - zones with bignum seems to be imprecise for computing summaries

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

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

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

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

Issue - State: closed - Opened by caballa over 6 years ago
Labels: bug, fixed

#16 - Integrate new ELINA

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

#15 - Improve precision and performance of backward operations

Issue - State: open - Opened by caballa over 7 years ago - 2 comments
Labels: enhancement

#14 - Extend linear_constraints to strict inequalities

Issue - State: closed - Opened by caballa over 7 years ago
Labels: new feature

#13 - Add new operations to abstract_domain virtual class

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

#12 - Implement a sound domain for machine integer arithmetic

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

#11 - Reduce compilation time

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

#10 - Adapt numerical domains for supporting reals

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

#9 - Add a logico-numerical abstract domain

Issue - State: closed - Opened by caballa over 7 years ago - 3 comments
Labels: domains

#7 - Adaptative domain between a relational and non-relational domain

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

#6 - Bug with apron-domains and rationals

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

#5 - Optimize/cleanup array graph domain

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

#4 - Python API

Issue - State: closed - Opened by caballa over 7 years ago
Labels: enhancement, help wanted

#3 - An instance of boxes domain can be in an inconsistent state due to global state

Issue - State: open - Opened by caballa over 7 years ago
Labels: bug, wontfix, domains

#2 - Restrict API of CFG array_assume method

Issue - State: closed - Opened by caballa over 7 years ago
Labels: CrabIR

#1 - Improve precision of boxes when constraints that involve more than one variable

Issue - State: closed - Opened by caballa over 7 years ago
Labels: enhancement