remill

Remill Remill is a static binary translator that translates machine code instructions into LLVM bitcode. It translates AArch64 64-bit ARMv8, SPARC32 SPARCv8, SPARC64 SPARCv9, x86 and amd64 machine code including AVX and AVX512 into LLVM bitcode. AArch32 32-bit ARMv8 / ARMv7 support is underway...

smack

SMACK is both a modular software verification toolchain and a self-contained software verifier. It can be used to verify the assertions in its input programs. In its default mode, assertions are verified up to a given bound on loop iterations and recursion depth; it contains experimental support...

Mergen

Project Overview: Mergen is a tool engineered to convert Assembly code into LLVM Intermediate Representation IR. This tool is designed for: The deobfuscation or devirtualization of obfuscated binary code The enhancement of the reverse engineering process, making it more efficient and effective,...

striga

Striga Striga is an experimental x86-64 to LLVM IR lifter written in Python. It uses the experimental llvm-nanobind project. Examples uv run python lift.py uv run python brighten.py uv run python binaryshield.py lift.py lifts sample PE functions to LLVM IR. brighten.py demonstrates wrapping and...

llvm-ir-dataset-utils (0.2.0), ml-compiler-opt (>=0.0.1.dev202306210145, <=0.0.1.dev202401270006) +4 more potentially affected by CVE-2024-8375 via dm-reverb (>=0.7.0, <=0.14.0)

dm-reverb PYPI version =0.7.0, =0.0.1.dev202306210145, =0.0.1, =0.4.4, =3.0.1, =0.0.1, =0.0.2 Source cves: CVE-2024-8375 Source advisory: OSV:PYSEC-2026-2452...

llvm-ir-dataset-utils (0.2.0), ml-compiler-opt (>=0.0.1.dev202306210145, <=0.0.1.dev202401270006) +4 more potentially affected by CVE-2024-8375 via dm-reverb (>=0.7.0, <=0.14.0)

dm-reverb PYPI version =0.7.0, =0.0.1.dev202306210145, =0.0.1, =0.4.4, =3.0.1, =0.0.1, =0.0.2 Source cves: CVE-2024-8375 Source advisory: GHSA-W69Q-W4H4-2FX8...

Mutable reference with immutable provenance

A mutable reference to a struct was constructed by dereferencing a pointer obtained from slice::asptr. Instead, slice::asmutptr should have been called on the mutable slice argument. The former performs an implicit reborrow as an immutable shared reference which does not allow writing through the...

Xcode 7 Bitcode workflow and Security Assessment-vulnerability warning-the black bar safety net

With Xcode 7, Apple is Xcode adds a new feature Bitcode 【1】： ! New features often mean new attack surface. This article first describes what is Bitcode and Bitcode workflow in the familiar with the Bitcode of the workflow, the next step is to assess the Bitcode related to the attack surface, and...