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

34 Open 15 Closed
34 Open 15 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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
Move tools for SMT interface and symbolic execution from tutorial to main tool directory enhancement
#140 opened Oct 28, 2020 by didriklundberg
@andreaslindner
2
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
Automation for building and installation
#99 opened Oct 2, 2019 by palmskog
1
Scam-V: program generation
#87 opened Jun 25, 2019 by pablobuiras
Scam-V: Observation refinement
#86 opened Jun 25, 2019 by pablobuiras
Scam-V: Reorganise modules to couple observation model and side-channel measurement
#85 opened Jun 25, 2019 by pablobuiras
@pablobuiras
New parser and pretty-printer for BIR expressions and programs
#84 opened Jun 25, 2019 by pablobuiras
@pablobuiras
2
Upload posters and slides about HolBA doc
#83 opened Jun 25, 2019 by totorigolo
@pablobuiras @guancio
@totorigolo @andreaslindner @didriklundberg
Model memory as a finite map or total memory?
#80 opened Jun 24, 2019 by guancio
Change handing of memory operations when exporting to SMT
#79 opened Jun 24, 2019 by guancio
Tautologies and BIR variables question
#77 opened Jun 5, 2019 by guancio
Free variables in WP simplification question
#76 opened Jun 5, 2019 by guancio
Short term verification goals question
#75 opened Jun 5, 2019 by guancio
1
Composition question
#74 opened Jun 5, 2019 by guancio
@guancio
Simplified toolbox for BinaryAnalysis question
#73 opened Jun 5, 2019 by guancio
1
Demonstrator question
#72 opened Jun 5, 2019 by guancio
ProTip! no:milestone will show everything without a milestone.