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
#48 - Added pass to color graphs
Pull Request -
State: closed - Opened by igcontreras about 5 years ago
- 9 comments
#47 - Added 'preserves all' to DsaCallGraphPrinter
Pull Request -
State: closed - Opened by igcontreras about 5 years ago
#46 - Tea dsa dev
Pull Request -
State: closed - Opened by caballa about 5 years ago
Labels: enhancement
#45 - Tea dsa dev
Pull Request -
State: closed - Opened by caballa over 5 years ago
Labels: enhancement
#44 - WIP: build complete callgraph
Pull Request -
State: closed - Opened by caballa over 5 years ago
#43 - Add AllocSiteInfo analysis pass
Pull Request -
State: closed - Opened by kuhar over 5 years ago
- 2 comments
#42 - Caller not simulated by callee fails on llvm-dis
Issue -
State: closed - Opened by kuhar almost 6 years ago
- 1 comment
#41 - Improve performance. Add brunch stats.
Pull Request -
State: closed - Opened by kuhar almost 6 years ago
- 4 comments
#40 - Types 5.0
Pull Request -
State: closed - Opened by kuhar almost 6 years ago
#39 - Callgraph
Pull Request -
State: closed - Opened by nhamlv-55 almost 6 years ago
#38 - callgraph
Pull Request -
State: closed - Opened by nhamlv-55 almost 6 years ago
- 3 comments
#37 - update README
Pull Request -
State: closed - Opened by nhamlv-55 almost 6 years ago
#36 - first commit
Pull Request -
State: closed - Opened by nhamlv-55 almost 6 years ago
- 2 comments
#35 - Port to LLVM 5.0
Issue -
State: closed - Opened by caballa about 6 years ago
- 1 comment
Labels: enhancement
#34 - Fail to run an example
Issue -
State: closed - Opened by XidianGeneral over 6 years ago
- 4 comments
#33 - sea-dsa build failed with llvm-3.8
Issue -
State: closed - Opened by mustakimur over 6 years ago
- 3 comments
#32 - Problem installing sea-dsa
Issue -
State: closed - Opened by zvonimir over 6 years ago
- 6 comments
#31 - Fix displaying graphs when sea-dsa-out-dir is set
Pull Request -
State: closed - Opened by kuhar over 6 years ago
#30 - Rename Cell::isNull to Cell::isNodeNull
Pull Request -
State: closed - Opened by kuhar over 6 years ago
- 3 comments
#29 - Rename Node's type to accessedType
Pull Request -
State: closed - Opened by kuhar over 6 years ago
#28 - [hotfix] Install seadsa with the sea-dsa-tool target
Pull Request -
State: closed - Opened by kuhar over 6 years ago
#27 - Make tests an optional target
Pull Request -
State: closed - Opened by kuhar over 6 years ago
#26 - Fix extract/insert value
Pull Request -
State: closed - Opened by kuhar over 6 years ago
#25 - Types
Pull Request -
State: closed - Opened by kuhar over 6 years ago
- 4 comments
#24 - Format Local and BottomUp
Pull Request -
State: closed - Opened by kuhar over 6 years ago
#23 - Format Cloner
Pull Request -
State: closed - Opened by kuhar over 6 years ago
#22 - Enable unittesting with doctest
Pull Request -
State: closed - Opened by kuhar over 6 years ago
#21 - Minor cleanups
Pull Request -
State: closed - Opened by kuhar over 6 years ago
#20 - Fix formatting
Pull Request -
State: closed - Opened by kuhar over 6 years ago
#19 - Fix nullptr dereference in LOG
Pull Request -
State: closed - Opened by kuhar over 6 years ago
#18 - Format Graph.hh
Pull Request -
State: closed - Opened by kuhar almost 7 years ago
#17 - Print forwarding edges
Pull Request -
State: closed - Opened by kuhar almost 7 years ago
#16 - Add viewGraph functions (debugging utilities)
Pull Request -
State: closed - Opened by kuhar almost 7 years ago
#15 - Fix nullptr dereference bug with unique_scalars
Pull Request -
State: closed - Opened by kuhar almost 7 years ago
- 1 comment
#14 - Format DsaPrinter
Pull Request -
State: closed - Opened by kuhar almost 7 years ago
#13 - Rename has_unique_scalar to has_once_unique_scalar
Pull Request -
State: closed - Opened by kuhar almost 7 years ago
#12 - Fix unique scalars
Pull Request -
State: closed - Opened by kuhar almost 7 years ago
- 4 comments
#11 - Turn recent repros into test cases
Issue -
State: closed - Opened by agurfinkel almost 7 years ago
- 1 comment
#10 - Don't unify nodes when MemTransfer transfers no pointers
Pull Request -
State: closed - Opened by kuhar almost 7 years ago
#9 - Format DsaLocal
Pull Request -
State: closed - Opened by kuhar almost 7 years ago
- 1 comment
#8 - sea-dsa crashes on a small example
Issue -
State: closed - Opened by agurfinkel almost 7 years ago
#7 - Use errs instead of outs in RPTI
Pull Request -
State: closed - Opened by kuhar almost 7 years ago
#6 - Use LOG and outs. Use DomTreeWrapperPass to get DT.
Pull Request -
State: closed - Opened by kuhar almost 7 years ago
#5 - Look through Phi nodes when removing ptrtoint -> inttoptr
Pull Request -
State: closed - Opened by kuhar almost 7 years ago
#4 - Remove ptrtoint stores before running dsa analysis
Pull Request -
State: closed - Opened by kuhar almost 7 years ago
- 1 comment
#3 - Define `m_unique_scalar` per cell rather than per node
Issue -
State: closed - Opened by caballa about 7 years ago
- 1 comment
Labels: enhancement
#2 - compilation issues with llvm 3.8 and ubuntu trusty
Issue -
State: closed - Opened by agurfinkel about 7 years ago
- 1 comment
#1 - Better support for external calls
Issue -
State: closed - Opened by caballa over 7 years ago
- 1 comment
Labels: enhancement