トピック · symbolic-execution

symbolic-execution

symbolic-execution がタグ付けされた追跡中のオープンソースリポジトリを、スター数順に表示します。

リポジトリ

総スター数

26,492

平均スター数

2,038

0.00%

symbolic-execution と同じリポジトリに頻繁に登場するトピック。

最近の急上昇

直近 90 日以内に作成され、symbolic-execution がタグ付けされたリポジトリ。

直近 90 日以内に、このトピックがタグ付けされた新しいリポジトリはありません。

#1
Triton ↗@JonathanSalwanC++
Tritonは動的バイナリ解析ライブラリです。独自のプログラム解析ツールを構築したり、リバースエンジニアリングを自動化したり、ソフトウェア検証を実行したり、単にコードをエミュレートしたりできます。
★ 4,281+6直近 7 日のスター増減
#2
mythril ↗@ConsenSysDiligencePython
MythrilはEVMバイトコード向けのシンボリック実行ベースのセキュリティ分析ツールです。Ethereumやその他のEVM互換ブロックチェーン向けに構築されたスマートコントラクトのセキュリティ脆弱性を検出します。
★ 4,265-1直近 7 日のスター増減
#3
miasm ↗@cea-secPython
Pythonによるリバースエンジニアリングフレームワーク
★ 3,947+3直近 7 日のスター増減
#4
klee ↗@kleeC++
KLEE シンボリック実行エンジン
★ 2,975+1直近 7 日のスター増減
#5
bap ↗@BinaryAnalysisPlatformOCaml
バイナリ解析プラットフォーム
★ 2,254+0直近 7 日のスター増減
#6
Ponce ↗@illera88C++
IDA 2016プラグインコンテスト受賞作！ワンクリックでシンボリック実行を実現
★ 1,627+0直近 7 日のスター増減
#7
awesome-symbolic-execution ↗@ksluckow
重要な研究論文、講義、動画、ツールを含む、厳選された記号実行リソースのリスト
★ 1,497+0直近 7 日のスター増減
#8
CrossHair ↗@pschanelyPython
テストと型システムの境界を曖昧にする、Python向けの分析ツール。
★ 1,319+0直近 7 日のスター増減
#9
alive2 ↗@AliveToolkitC++
LLVM 最適化の自動検証
★ 1,163+2直近 7 日のスター増減
#10
medusa ↗@wiskC++
オープンソースのインタラクティブな逆アセンブラ
★ 1,090+0直近 7 日のスター増減
#11
deepstate ↗@trailofbitsPython
ファジングおよびシンボリック実行のためのユニットテスト風インターフェース
★ 862+0直近 7 日のスター増減
#12
AngryGhidra ↗@Nalen98Java
Ghidra で angr を使用する
★ 624-1直近 7 日のスター増減
#13
stp ↗@stpC++
ビットベクター、浮動小数点数、配列に対応した効率的な SMT ソルバー「Simple Theorem Prover」
★ 588+1直近 7 日のスター増減

← トピック一覧に戻る

関連トピック

最近の急上昇