Skip to content

v2.5.1

@bdcht bdcht tagged this 27 May 22:46
    add eBPF architecture
    clean riscv system class
    merge LRGH-release commits up to cc51e9b
    add ExitProcess stub
    use pdb set_trace at entry of itercfg only
    guard unicode usage
    fix movnti semantics
    feedback for some x86 unimplemented semantics
    adjust ext symbol size
    fix logger progress and adjust default log level
    take LRGH-release commits into account
    add 'bitslicing' simplification option which decompose a logical
    expression into a bitsliced compound expression
    fix Solver 'get_mapper' method
    add getfileoffset method in PE/ELF classes
    fix Symbol table str method
    fix risc-v semantics & specs related to shifts
    fix mapper usemmap
    fix riscv semantics
    add simple dot format export of cfg object
    fix graph vertex comparison
    fix node/block cut
    fix logger progress method
    add unsigned < and >= operators
    add risc-v system interface
    add risc-v architecture
    fix unicode output
    fixing shift/rotate symbols
    change arithmetic right shift symbol
    allow unicode operators symbols
    support translating long multiply expressions to z3
Assets 2
Loading