Ecosyste.ms: Issues

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

GitHub / ksluckow/awesome-symbolic-execution issues and pull requests

#26 - Cloud9 not avaliable

Issue - State: closed - Opened by Yatogaii about 1 month ago - 1 comment

#25 - add Owi

Pull Request - State: closed - Opened by zapashcanon about 2 months ago

#24 - Add `SymCC` and `angr`

Pull Request - State: closed - Opened by jiezhuzzz 4 months ago - 2 comments

#23 - Added new Java DSE engine to the list.

Pull Request - State: closed - Opened by nils-loose 8 months ago

#22 - Viper / Silicon

Issue - State: open - Opened by glor about 1 year ago

#21 - Add SymEx-VP engine

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

#20 - Add GenSym engine

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

#18 - @LinqLover papers: add cadar2013symbolic and XMUsuny collection

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

#17 - Update README.md

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

#16 - [Cadar2013] Symbolic Execution for Software Testing: Three Decades Later

Issue - State: closed - Opened by LinqLover almost 2 years ago - 1 comment

#15 - add Program Analysis course by Prof. Pradel

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

#14 - added maat to README.md

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

#13 - Update README.md

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

#12 - Abandoned?

Issue - State: closed - Opened by jaens about 3 years ago - 2 comments

#11 - Added SymCC to the list.

Pull Request - State: closed - Opened by m4drat over 3 years ago

#10 - Add CrossHair to Python section.

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

#9 - Suggestion to add Ikos

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

#8 - CMU's Pharos

Issue - State: open - Opened by rfc2119 over 5 years ago

#7 - Added Rui Reis' symbolic execution intro article.

Pull Request - State: open - Opened by jthuraisamy almost 6 years ago - 1 comment

#6 - Add link to BinCAT from Airbus security lab

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

#5 - Updated S2E website

Pull Request - State: closed - Opened by adrianherrera about 6 years ago

#4 - Add manticore symbolic execution tool

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

#3 - Give the correct name in use of Symbolic PathFinder (SPF)

Pull Request - State: closed - Opened by monperrus almost 7 years ago - 1 comment

#2 - New section: History of symbolic execution.

Pull Request - State: closed - Opened by stanislaw almost 7 years ago