program-analysis
Here are 213 public repositories matching this topic...
Performant type-checking for python.
-
Updated
Jun 11, 2024 - OCaml
Corax for Java: A general static analysis framework for java code checking.
-
Updated
Jun 11, 2024 - Kotlin
Formal verification tool for Solidity
-
Updated
Jun 11, 2024 - Haskell
Static analysis framework for C
-
Updated
Jun 11, 2024 - OCaml
A curated list of awesome LLVM (including Clang, etc) related resources.
-
Updated
Jun 11, 2024 - Python
DIE engine
-
Updated
Jun 10, 2024 - C++
Lists of must-read papers (mainly security papers)
-
Updated
Jun 10, 2024
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
-
Updated
Jun 10, 2024 - C++
A new version of Soot with a completely overhauled architecture
-
Updated
Jun 10, 2024 - Java
UNIX-like reverse engineering framework and command-line toolset.
-
Updated
Jun 11, 2024 - C
Program for determining types of files for Windows, Linux and MacOS.
-
Updated
Jun 10, 2024 - JavaScript
The Ultimate program analysis framework.
-
Updated
Jun 11, 2024 - Java
VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.
-
Updated
Jun 11, 2024 - C++
Semgrep rules registry
-
Updated
Jun 11, 2024 - Solidity
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
-
Updated
Jun 6, 2024 - Java
A binary analysis framework written in Rust.
-
Updated
Jun 11, 2024 - Rust
Java code commit impact, java code change impact analysis,java代码改动影响范围分析工具,精准测试,回归测试范围划定
-
Updated
Jun 6, 2024 - Python
Jar Analyzer - 一个JAR包分析工具,批量分析JAR包搜索,方法调用关系搜索,字符串搜索,Spring组件分析,CFG分析,JVM Stack Frame分析,远程分析Tomcat,进阶表达式搜索,自定义SQL查询,字节码查看,字节码指令级的动态调试分析,命令行分析,反编译JAR包一键导出,一键提取序列化数据恶意代码
-
Updated
Jun 6, 2024 - Java
A precise and scalable pointer analysis for LLVM, written in Ascent
-
Updated
Jun 5, 2024 - C
Improve this page
Add a description, image, and links to the program-analysis topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the program-analysis topic, visit your repo's landing page and select "manage topics."