smack

SMACK es tanto una herramienta modular de verificación de software como un verificador de software autocontenido. Se puede utilizar para verificar las aserciones en sus programas de entrada. En su modo predeterminado, las aserciones se verifican hasta un límite dado en iteraciones de bucles y...

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

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