8000 Tags · kth-step/HolBA · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: kth-step/HolBA

Tags

RISCV2025

Toggle RISCV2025's commit message 
Verification of RISC-V Binaries Using Symbolic Execution in HolBA as …

…of March 2025

scamv_2025_02_presplit

Toggle scamv_2025_02_presplit's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Merge pull request #202 from kth-step/riscv-symbexec

Strengthen bir_post_bir_to_arch

JLAMP2024

Toggle JLAMP2024's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Merge pull request #193 from kth-step/riscv-symbexec

Symbolic exec checkpoint

mil

Toggle mil's commit message 
Merge dev_scamv into dev_mil

FMCAD2022_artifact

Toggle FMCAD2022_artifact's commit message
8F80 
Merge dev_scamv into dev_mil

MICRO2021_artifact

Toggle MICRO2021_artifact's commit message 
Updates

SEFM2020

Toggle SEFM2020's commit message 
Version of HolBA that was presented at SEFM 2020

CAV2020_artifact

Toggle CAV2020_artifact's commit message 
Fix

SCP2018_v2_without_benchmarks

Toggle SCP2018_v2_without_benchmarks's commit message 
fixed for new simple lifter interface
0