Mergen

Aperçu du projet : Mergen est un outil conçu pour convertir du code assembleur en représentation intermédiaire LLVM IR. Cet outil est conçu pour : La désobfuscation ou la dévirtualisation de code binaire obfusqué L'amélioration du processus de rétro-ingénierie, le rendant plus efficace et...

smack

SMACK هو سلسلة أدوات تحقق برمجي معيارية و مدقق برمجي مستقل. يمكن استخدامه للتحقق من التأكيدات في برامج الإدخال. في الوضع الافتراضي، يتم التحقق من التأكيدات حتى حد معين لتكرار الحلقات وعمق التكرار؛ كما يحتوي على دعم تجريبي للتحقق غير المحدود أيضًا. يتعامل SMACK مع الميزات المعقدة للغة C، بما في ذل...

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