Skip to content

Pull requests: klee/klee.github.io

New pull request New
Clear current search query, filters, and sorts
1 Open 370 Closed
1 Open 370 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Fixed broken link
#169 by ccadar was merged Mar 6, 2019 Loading…
remove llvm-gcc, update intrinsics example
#168 by 251 was merged Mar 11, 2019 Loading…
1
10
Fix copyright and some alligments
#167 by kren1 was merged Mar 11, 2019 Loading…
8
Options: batching, det. allocation, minor changes
#166 by 251 was merged Mar 6, 2019 Loading…
4
Update tutorials
#165 by kren1 was merged Mar 5, 2019 Loading…
6
Add sqlite documentation
#164 by kren1 was merged Apr 12, 2019 Loading…
7
Update developer guide
#163 by kren1 was merged Mar 5, 2019 Loading…
5
Documentation of external call policy and startup options, plus some smaller changes
#162 by ccadar was merged Mar 5, 2019 Loading…
paper: Under-Constrained Symbolic Execution
#161 by 251 was merged Mar 5, 2019 Loading…
1
Added installation instructions for using LLVM 6.0 plus other small changes to previous installation instructions
#160 by ccadar was merged Mar 6, 2019 Loading…
27
Reordered and improved the list of items on docs/
#159 by ccadar was merged Mar 4, 2019 Loading…
1
Replaced the different install links in docs/ with a single link the …
#158 by ccadar was merged Mar 4, 2019 Loading…
Adding a recently published paper at NDSS to the list of publications
#157 by szeyiuchau was merged Mar 4, 2019 Loading…
1
paper: Automata Learning for Symbolic Execution
#156 by 251 was merged Feb 28, 2019 Loading…
1
paper: Souper: A Synthesizing Superoptimizer
#155 by 251 was merged Feb 27, 2019 Loading…
1
paper: Symbolic Execution with Existential Second-Order Constraints
#154 by 251 was merged Jan 23, 2019 Loading…
1
add coppelia micro18 to publication list
#153 by 251 was merged Jan 6, 2019 Loading…
1
MICRO 2018 Paper: End-to-End Automated Exploit Generation for Validating the Security of Processor Designs
#152 by rzhang2285 was closed Jan 6, 2019 Loading…
7
Tutorial 1: update for KLEE PR #1012
#151 by 251 was merged Jan 7, 2019 Loading…
1
paper: Boost Symbolic Execution Using Dynamic State Merging and Forking
#150 by 251 was merged Dec 16, 2018 Loading…
PARTI and QUIC papers
#149 by 251 was merged Dec 8, 2018 Loading…
1
Update Gemlock, ...
#147 by 251 was merged Nov 5, 2018 Loading…
3
Small changes to documentation page.
#146 by ccadar was merged Nov 2, 2018 Loading…
Added guidelines for asking questions and added a note that developer's guide is out of date.
#145 by ccadar was merged Nov 2, 2018 Loading…
Typo in KLEE detected to invalid memory accesses
#144 by MyForest was closed Oct 28, 2018 Loading…
1
ProTip! Exclude everything labeled bug with -label:bug.