idasec

idasec Binsecプラットフォームとのリバースエンジニアリングおよび動的インタラクションのためのIDAプラグイン 免責事項 IDAsecは開発中のプロトタイプツールであり、一部の機能はバグが含まれている可能性があるため、注意して使用する必要があります。 機能 DBA IRでの命令デコード Pinsec によって生成された実行トレースの読み込み Binsecでの分析をトリガーし、結果を取得 依存関係 protobuf ZMQ capstone トレース逆アセンブリ用 graphviz 数式内の依存関係を描画するため pyparsing enum path.py plotly オプシ...

Malicious code in bsure.binsec (NuGet)

--- -= Per source details. Do not edit below this line.=-...

(Dis)Proving Spectre Security with Speculation-Passing Style

Constant-time CT verification tools are commonly used for detecting potential side-channel vulnerabilities in cryptographic libraries. Recently, a new class of tools, called speculative constant-time SCT tools, has also been used for detecting potential Spectre vulnerabilities. In many cases, the...

uafuzz

This is an offensive tool for Binary Analysis. The repository, cherrywb/uafuzz, is a directed fuzzer dedicated to Use-After-Free UAF bugs at the binary level. It aims to detect UAF bugs, which appear when a heap element is used after having been freed. The tool uses a combination of static...

IDAsec - IDA plugin for reverse-engineering and dynamic interactions with the Binsec platform

IDA plugin for reverse-engineering and dynamic interactions with the Binsec platform Features Decoding an instruction in DBA IR Loading execution traces generated by Pinsec Triggering analyzes on Binsec and retrieving results Dependencies protobuf ZMQ capstone for trace disassembly graphviz to dr...