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

HolBA legacy code
#172 opened Mar 11, 2024 by palmskog updated Mar 11, 2024
Move tools for SMT interface and symbolic execution from tutorial to main tool directory enhancement
#140 opened Oct 28, 2020 by didriklundberg updated Oct 28, 2020
@andreaslindner
2
Unify lifter interface enhancement
#138 opened Oct 28, 2020 by didriklundberg updated Oct 28, 2020
Unify WP interface enhancement
#139 opened Oct 28, 2020 by didriklundberg updated Oct 28, 2020
Tidy up dependency inclusions in various files
#137 opened Oct 24, 2020 by andreaslindner updated Oct 24, 2020
Fix dependency diagram
#136 opened Oct 24, 2020 by andreaslindner updated Oct 24, 2020
Proof procedures for using program composition theorem enhancement
#118 opened Jun 15, 2020 by didriklundberg updated Jun 15, 2020
@didriklundberg
Standalone, portable specification of BIR syntax and semantics
#105 opened Nov 4, 2019 by palmskog updated Nov 4, 2019
Generation of documentation
#103 opened Oct 17, 2019 by palmskog updated Oct 17, 2019
Releasing and tagging
#102 opened Oct 17, 2019 by palmskog updated Oct 17, 2019
Use composition at ARM level for the example in tutorial
#100 opened Oct 2, 2019 by guancio updated Oct 2, 2019
Automation for building and installation
#99 opened Oct 2, 2019 by palmskog updated Oct 2, 2019
1
Simplifications of consecutive Load and Store enhancement
#66 opened May 23, 2019 by didriklundberg updated Jun 28, 2019
1
Composition question
#74 opened Jun 5, 2019 by guancio updated Jun 27, 2019
@guancio
New parser and pretty-printer for BIR expressions and programs
#84 opened Jun 25, 2019 by pablobuiras updated Jun 25, 2019
@pablobuiras
2
Scam-V: program generation
#87 opened Jun 25, 2019 by pablobuiras updated Jun 25, 2019
Scam-V: Observation refinement
#86 opened Jun 25, 2019 by pablobuiras updated Jun 25, 2019
Scam-V: Reorganise modules to couple observation model and side-channel measurement
#85 opened Jun 25, 2019 by pablobuiras updated Jun 25, 2019
@pablobuiras
Upload posters and slides about HolBA doc
#83 opened Jun 25, 2019 by totorigolo updated Jun 25, 2019
@pablobuiras @guancio
@totorigolo @andreaslindner @didriklundberg
SMT SAT model: handle memories enhancement
#23 opened Apr 2, 2019 by totorigolo updated Jun 24, 2019
2
Model memory as a finite map or total memory?
#80 opened Jun 24, 2019 by guancio updated Jun 24, 2019
Change handing of memory operations when exporting to SMT
#79 opened Jun 24, 2019 by guancio updated Jun 24, 2019
HolBA simpsets enhancement question
#57 opened May 15, 2019 by totorigolo updated Jun 24, 2019
2
Short term verification goals question
#75 opened Jun 5, 2019 by guancio updated Jun 24, 2019
1
Simplified toolbox for BinaryAnalysis question
#73 opened Jun 5, 2019 by guancio updated Jun 24, 2019
1
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.