Mergen

Resumen del Proyecto: Mergen es una herramienta diseñada para convertir código ensamblador en Representación Intermedia IR de LLVM. Esta herramienta está pensada para: La desofuscación o devirtualización de código binario ofuscado La mejora del proceso de ingeniería inversa, haciéndolo más...

smack

SMACK 既是一个 模块化软件验证工具链 ，也是一个 独立的软件验证器 。它可用于验证输入程序中的断言。在默认模式下，断言会在给定的循环迭代和递归深度边界内进行验证；同时，它也包含对无界验证的实验性支持。SMACK 能处理 C 语言的复杂特性，包括动态内存分配、指针算术和位运算。 在底层，SMACK 是一个将 LLVM 编译器的常用中间表示（IR）转换为 Boogie 中间验证语言（IVL）的翻译器。利用 LLVM IR 可以借助越来越多的编译器前端、优化和分析工具。目前，SMACK 仅通过 Clang 编译器支持 C 语言，但我们正在努力增加对其他语言的支持。以 Boogie...

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...