4 مستودعات
Awesome GitHub RepositoriesProgram Analysis
Advanced tools for binary analysis and symbolic execution.
Explore 4 awesome GitHub repositories matching part of an awesome list · Program Analysis. Refine with filters or upvote what's useful.
Awesome Program Analysis GitHub Repositories
اعثر على أفضل المستودعات باستخدام الذكاء الاصطناعي.سنبحث عن أفضل المستودعات المطابقة باستخدام الذكاء الاصطناعي.
- binaryanalysisplatform/bap
BinaryAnalysisPlatform/bap
2,239عرض على GitHubBinary Analysis Platform
Platform for reverse engineering and binary program analysis.
OCaml - airbus-seclab/bincat
airbus-seclab/bincat
1,858عرض على GitHubمحلل ثابت للكود الثنائي، مع تكامل IDA. يقوم بتحليل القيم والتلوث (taint analysis)، وإعادة بناء الأنواع، واكتشاف أخطاء استخدام الذاكرة بعد التحرير (use-after-free) والتحرير المزدوج (double-free)
Toolkit for static analysis of binary code.
OCaml - ocamlpro/owi
OCamlPro/owi
Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig
Toolchain for symbolic execution of WebAssembly.
OCaml - formalsec/smtml
formalsec/smtml
An SMT solver frontend for OCaml
Frontend library for interfacing with multiple SMT solvers.
OCaml
