kth-step HolBA issues - Githubissues

kth-step / HolBA

Binary analysis in HOL

Other

33 stars 20 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

RISC-V workflow and examples update

#183 palmskog closed 3 days ago
0
always use HolBA_HolSmtLib.Z3_ORACLE_TAC instead of bundled Z3_ORACLE_TAC

#182 palmskog closed 3 weeks ago
0
Full swap example, bspec workflow

#181 palmskog closed 1 month ago
0
Remove unused open m0_stepLib

#180 palmskog closed 1 month ago
0
use HOL4_Z3_EXECUTABLE in bir_smtLib to avoid requiring z3 in PATH

#179 palmskog closed 2 months ago
0
Refactoring of symbolic execution automation and application to RISC-V examples

#178 palmskog closed 1 month ago
1
Update HOL4 and Poly/ML to latest versions

#177 didriklundberg closed 2 months ago
1
Update riscv incr example: end-to-end proof

#176 andreaslindner closed 2 months ago
1
Removed Z3 dependency in main theories

#175 didriklundberg closed 3 months ago
0
RISC-V backlifting and examples

#174 palmskog closed 3 months ago
1
Update to modern syntax

#173 didriklundberg closed 3 months ago
4
HolBA legacy code

#172 palmskog opened 3 months ago
0
reorganize contribution guide

#171 palmskog closed 4 months ago
0
use standard naming of documentation files in root, link from README.md

#170 palmskog closed 4 months ago
0
proper Holmakefiles for src/tools/{cfg,comp,exec}/examples

#169 palmskog closed 4 months ago
0
Add symbolic execution, and also fix some issues after the Holmakefile change, reactivated testing and testing with CI

#168 andreaslindner closed 4 months ago
4
add more tests to Holmakefiles

#167 palmskog closed 4 months ago
0
add some selftests to Holmakefile with test action

#166 palmskog closed 4 months ago
0
Additional opens in bir_m0_extrasScript

#165 didriklundberg closed 4 months ago
0
Document recommended way to depend on HolBA

#164 palmskog closed 4 months ago
0
README improvements and examples build

#163 palmskog closed 4 months ago
0
Holmake based build

#162 palmskog closed 4 months ago
0
Parameterize DA lifter and add RISC-V tutorial

#161 palmskog closed 4 months ago
0
fix problem with HolSat compilation for kananaskis-14

#160 palmskog closed 5 months ago
0
Lifter improvements

#159 didriklundberg closed 7 months ago
0
Proper generalisation of well-founded relation in program logic

#158 didriklundberg closed 7 months ago
0
Proper generalisation of well-founded relation in program logic

#157 didriklundberg closed 8 months ago
0
Small modifications of evalwrapLib from the P4 project

#156 didriklundberg closed 1 year ago
1
Quotation lib

#155 pablobuiras closed 1 year ago
0
Updates to naming conventions for the program logic

#154 didriklundberg closed 8 months ago
1
Updated tutorial with clearer naming conventions and documentation

#153 didriklundberg closed 2 years ago
0
Partial correctness unstructured Hoare logic

#152 didriklundberg closed 2 years ago
0
a new eval function with mem rw

#151 ningdongywq closed 9 months ago
0
Updated CI to run on a weekly schedule, preventing cache eviction

#150 didriklundberg closed 2 years ago
0
Making HolBA more portable and modular

#149 didriklundberg closed 4 months ago
0
Merge latest changes from dev_scamv

#148 andreaslindner closed 2 years ago
0
Dev prom simplify

#147 HAKarlsson closed 2 years ago
0
Adding indirect jump resolution

#146 didriklundberg closed 2 years ago
2
Fix printf warnings in run-test.sh

#145 didriklundberg closed 2 years ago
0
Fixed bug in procedure bir_populate_blacklist'

#144 adrwes closed 3 years ago
5
Move to Kananaskis-14

#143 didriklundberg closed 3 years ago
7
New build passing badge

#142 didriklundberg closed 3 years ago
4
Updated paper order in README

#141 didriklundberg closed 3 years ago
0
Move tools for SMT interface and symbolic execution from tutorial to main tool directory

#140 didriklundberg opened 3 years ago
2
Unify WP interface

#139 didriklundberg opened 3 years ago
0
Unify lifter interface

#138 didriklundberg opened 3 years ago
0
Tidy up dependency inclusions in various files

#137 andreaslindner opened 3 years ago
0
Fix dependency diagram

#136 andreaslindner opened 3 years ago
0
Fix unwrapped lifter libraries

#135 andreaslindner closed 3 years ago
1
Lifter selftest fixes

#134 andreaslindner closed 3 years ago
0