4 releases
0.1.3 | Sep 30, 2024 |
---|---|
0.1.2 | Sep 27, 2024 |
0.1.1 | Sep 2, 2024 |
0.1.0 | Aug 30, 2024 |
#685 in Algorithms
Used in 4 crates
1.5MB
37K
SLoC
libLISA is a library for automated discovery and analysis of CPU instructions. This crate is the core library that can be used to load and manipulate already-analyzed datasets. Several separate crates are available for enumeration, synthesis and architecture support:
liblisa-enc
for enumeration and encoding analysisliblisa-synth
for synthesisliblisa-x64-observer
for observing instruction execution on x86-64
Loading semantics from disk
Encodings support serde, and can be serialized and deserialized by any library that supports serde. By default, libLISA uses JSON. You can import these semantics as follows:
use std::fs::File;
use std::io::BufReader;
use std::path::PathBuf;
use liblisa::encoding::Encoding;
use liblisa::semantics::default::computation::SynthesizedComputation;
use liblisa::arch::x64::X64Arch;
let file = File::open("semantics.json").unwrap();
let reader = BufReader::new(file);
let semantics: Vec<Encoding<X64Arch, SynthesizedComputation>> =
serde_json::from_reader(reader).unwrap();
See encoding::Encoding
for how these semantics can be used.
Features
z3
: adds thez3
crate as a dependency, and enables the Z3 implementation forsmt::SmtSolver
.x64-undef
: enables thearch::x64::undef
namespace, which uses the XED disassembler library to provide definitions for undefined behavior.
Dependencies
~30MB
~604K SLoC