Skip to content

Issues: kth-step/HolBA

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
34 Open 15 Closed
34 Open 15 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

WP: false labels question
#71 opened May 29, 2019 by guancio
5
All extra expression definitions should follow a naming scheme enhancement
#27 opened Apr 3, 2019 by andreaslindner
4
Move tools for SMT interface and symbolic execution from tutorial to main tool directory enhancement
#140 opened Oct 28, 2020 by didriklundberg
@andreaslindner
2
New parser and pretty-printer for BIR expressions and programs
#84 opened Jun 25, 2019 by pablobuiras
@pablobuiras
2
HolBA simpsets enhancement question
#57 opened May 15, 2019 by totorigolo
2
Add signature to libraries enhancement good first issue Issues that new contributors can easily work on
#34 opened Apr 24, 2019 by totorigolo
2
SMT SAT model: handle memories enhancement
#23 opened Apr 2, 2019 by totorigolo
2
Automation for building and installation
#99 opened Oct 2, 2019 by palmskog
1
Short term verification goals question
#75 opened Jun 5, 2019 by guancio
1
Simplified toolbox for BinaryAnalysis question
#73 opened Jun 5, 2019 by guancio
1
Simplifications of consecutive Load and Store enhancement
#66 opened May 23, 2019 by didriklundberg
1
The semantics of memory equality question
#65 opened May 23, 2019 by didriklundberg
@andreaslindner @didriklundberg
1
Init wiki doc
#41 opened May 3, 2019 by andreaslindner
1
[Tracking issue] Code style guidelines question
#29 opened Apr 5, 2019 by totorigolo
@didriklundberg
1
HolBA legacy code
#172 opened Mar 11, 2024 by palmskog
Unify WP interface enhancement
#139 opened Oct 28, 2020 by didriklundberg
Unify lifter interface enhancement
#138 opened Oct 28, 2020 by didriklundberg
Tidy up dependency inclusions in various files
#137 opened Oct 24, 2020 by andreaslindner
Fix dependency diagram
#136 opened Oct 24, 2020 by andreaslindner
Proof procedures for using program composition theorem enhancement
#118 opened Jun 15, 2020 by didriklundberg
@didriklundberg
Standalone, portable specification of BIR syntax and semantics
#105 opened Nov 4, 2019 by palmskog
Generation of documentation
#103 opened Oct 17, 2019 by palmskog
Releasing and tagging
#102 opened Oct 17, 2019 by palmskog
Use composition at ARM level for the example in tutorial
#100 opened Oct 2, 2019 by guancio
Scam-V: program generation
#87 opened Jun 25, 2019 by pablobuiras
ProTip! Updated in the last three days: updated:>2024-07-01.