Ecosyste.ms: Issues

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

GitHub / seahorn/sea-dsa issues and pull requests

#99 - Oversharing with offset collapsed but types known

Issue - State: open - Opened by igcontreras about 4 years ago

#99 - Oversharing with offset collapsed but types known

Issue - State: open - Opened by igcontreras about 4 years ago

#98 - feat(spec): Spec IR generation

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

#98 - feat(spec): Spec IR generation

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

#97 - Imprecise call graph

Issue - State: closed - Opened by shaobo-he over 4 years ago - 2 comments

#97 - Imprecise call graph

Issue - State: closed - Opened by shaobo-he over 4 years ago - 2 comments

#96 - Segmentation fault on a program

Issue - State: closed - Opened by shaobo-he over 4 years ago - 4 comments
Labels: bug

#96 - Segmentation fault on a program

Issue - State: closed - Opened by shaobo-he over 4 years ago - 4 comments
Labels: bug

#95 - Color the graphs of a function & fix coloring globals and ret

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

#95 - Color the graphs of a function & fix coloring globals and ret

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

#93 - Imprecise call graph

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

#93 - Imprecise call graph

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

#92 - Segmentation fault when running examples on the dev9 branch

Issue - State: closed - Opened by shaobo-he over 4 years ago - 2 comments

#92 - Segmentation fault when running examples on the dev9 branch

Issue - State: closed - Opened by shaobo-he over 4 years ago - 2 comments

#91 - fix(specs): fix compilation issues with AppleClang

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

#91 - fix(specs): fix compilation issues with AppleClang

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

#90 - Sea-Dsa specs compilation does not work on a mac

Issue - State: closed - Opened by agurfinkel over 4 years ago - 1 comment

#90 - Sea-Dsa specs compilation does not work on a mac

Issue - State: closed - Opened by agurfinkel over 4 years ago - 1 comment

#89 - Local pass: create fresh allocation for unsupported constants

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

#89 - Local pass: create fresh allocation for unsupported constants

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

#88 - Behavior of `accessedTypes` with respect to memset/memcpy operations

Issue - State: closed - Opened by shaobo-he over 4 years ago - 2 comments

#88 - Behavior of `accessedTypes` with respect to memset/memcpy operations

Issue - State: closed - Opened by shaobo-he over 4 years ago - 2 comments

#87 - Fix custom allocator handling

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

#86 - Spec func pass

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

#86 - Spec func pass

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

#85 - What is the status of LLVM 9 and LLVM 10 support?

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

#85 - What is the status of LLVM 9 and LLVM 10 support?

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

#84 - FlatGraph does not support offset collapsing

Issue - State: closed - Opened by agurfinkel over 4 years ago - 1 comment

#84 - FlatGraph does not support offset collapsing

Issue - State: closed - Opened by agurfinkel over 4 years ago - 1 comment

#83 - refactor(callgrap): indirect call resolved unless its dsa node is external

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

#83 - refactor(callgrap): indirect call resolved unless its dsa node is external

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

#82 - Expanding Spec Language

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

#82 - Expanding Spec Language

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

#81 - Adding test for sea-dsa external attribute setters

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

#81 - Adding test for sea-dsa external attribute setters

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

#80 - refactor(seadsa) Use llvm::PatternMatch to match function params

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

#80 - refactor(seadsa) Use llvm::PatternMatch to match function params

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

#79 - SeaDsaAliasAnalysis

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

#79 - SeaDsaAliasAnalysis

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

#78 - refactor(seamemoryaccess): make getID() a public method

Pull Request - State: closed - Opened by priyasiddharth over 4 years ago - 1 comment

#78 - refactor(seamemoryaccess): make getID() a public method

Pull Request - State: closed - Opened by priyasiddharth over 4 years ago - 1 comment

#77 - Dev10

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

#77 - Dev10

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

#76 - SeaDsaAliasAnalysis

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

#76 - SeaDsaAliasAnalysis

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

#75 - Added Functions to Spec Language and Refactored DsaLocal

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

#75 - Added Functions to Spec Language and Refactored DsaLocal

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

#74 - Dev10

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

#74 - Dev10

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

#73 - Question about inconsistency before/after LLVM's mem2reg optimization

Issue - State: open - Opened by shaobo-he over 4 years ago - 2 comments

#73 - Question about inconsistency before/after LLVM's mem2reg optimization

Issue - State: open - Opened by shaobo-he over 4 years ago - 2 comments

#72 - Support constant gep with an inttoptr as pointer operand

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

#72 - Support constant gep with an inttoptr as pointer operand

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

#71 - Missing the case when constant expression gep with an inttoptr as base pointer

Issue - State: closed - Opened by caballa over 4 years ago - 1 comment

#71 - Missing the case when constant expression gep with an inttoptr as base pointer

Issue - State: closed - Opened by caballa over 4 years ago - 1 comment

#70 - Add a method to print graph in dot format

Pull Request - State: closed - Opened by shaobo-he over 4 years ago - 1 comment

#70 - Add a method to print graph in dot format

Pull Request - State: closed - Opened by shaobo-he over 4 years ago - 1 comment

#69 - Print the dot file for a graph

Issue - State: closed - Opened by shaobo-he over 4 years ago - 4 comments

#69 - Print the dot file for a graph

Issue - State: closed - Opened by shaobo-he over 4 years ago - 4 comments

#68 - Does every pointer value have a cell/node associated with it?

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

#68 - Does every pointer value have a cell/node associated with it?

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

#67 - Question about building sea-dsa

Issue - State: closed - Opened by shaobo-he over 4 years ago - 1 comment

#67 - Question about building sea-dsa

Issue - State: closed - Opened by shaobo-he over 4 years ago - 1 comment

#66 - Crashes on SV-COMP benchmarks

Issue - State: closed - Opened by shaobo-he almost 5 years ago - 15 comments

#66 - Crashes on SV-COMP benchmarks

Issue - State: closed - Opened by shaobo-he almost 5 years ago - 15 comments

#65 - Add `isIncomplete` and `isUnknown` methods to the `Node` class

Pull Request - State: closed - Opened by shaobo-he almost 5 years ago - 1 comment

#65 - Add `isIncomplete` and `isUnknown` methods to the `Node` class

Pull Request - State: closed - Opened by shaobo-he almost 5 years ago - 1 comment

#64 - Support for AtomicCmpXchgInst and AtomicRMWInst

Pull Request - State: closed - Opened by caballa almost 5 years ago - 3 comments

#64 - Support for AtomicCmpXchgInst and AtomicRMWInst

Pull Request - State: closed - Opened by caballa almost 5 years ago - 3 comments

#63 - Question about external nodetype

Issue - State: closed - Opened by shaobo-he almost 5 years ago - 2 comments

#63 - Question about external nodetype

Issue - State: closed - Opened by shaobo-he almost 5 years ago - 2 comments

#62 - Question about ptrtoint nodetype

Issue - State: closed - Opened by shaobo-he almost 5 years ago - 5 comments

#62 - Question about ptrtoint nodetype

Issue - State: closed - Opened by shaobo-he almost 5 years ago - 5 comments

#61 - [NEW] Pass to color DSA graphs

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

#61 - [NEW] Pass to color DSA graphs

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

#60 - Added pass to explore and color graphs

Pull Request - State: closed - Opened by igcontreras almost 5 years ago

#60 - Added pass to explore and color graphs

Pull Request - State: closed - Opened by igcontreras almost 5 years ago

#59 - Add a minimal API for ShadowMem clients

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

#59 - Add a minimal API for ShadowMem clients

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

#58 - Towards making more deterministic the analysis.

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

#58 - Towards making more deterministic the analysis.

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

#57 - Fix assertion in AllocSiteInfo.cc

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

#57 - Fix assertion in AllocSiteInfo.cc

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

#56 - Assertion failing in AllocSiteInfo.cc

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

#56 - Assertion failing in AllocSiteInfo.cc

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

#55 - Do not ignore a return value if its type contains a pointer.

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

#55 - Do not ignore a return value if its type contains a pointer.

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

#54 - Question about the result on one program

Issue - State: closed - Opened by shaobo-he about 5 years ago - 4 comments

#54 - Question about the result on one program

Issue - State: closed - Opened by shaobo-he about 5 years ago - 4 comments

#53 - Handling of programs compiled with higher optimization levels

Issue - State: closed - Opened by shaobo-he about 5 years ago - 12 comments
Labels: bug

#53 - Handling of programs compiled with higher optimization levels

Issue - State: closed - Opened by shaobo-he about 5 years ago - 12 comments
Labels: bug

#52 - Add a way to assign a label for sequential memory in memory graph

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

#52 - Add a way to assign a label for sequential memory in memory graph

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

#51 - empty labels in the complete call graph

Issue - State: closed - Opened by BushraAloraini about 5 years ago - 6 comments

#50 - Fix link to seahorn

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

#49 - Wrong handling of global pointers in constant structs

Issue - State: open - Opened by danblitzhou about 5 years ago - 3 comments
Labels: bug