Program for determining types of files for Windows, Linux and MacOS.
-
Updated
May 21, 2024 - JavaScript
Program for determining types of files for Windows, Linux and MacOS.
DIE engine
Finds all the user defined identifier names in source code file(s). Works for C, C++, C#, and Java files.
Performant type-checking for python.
Quarkslab Bindiffer but not only !
UNIX-like reverse engineering framework and command-line toolset.
A LLVM-based static analysis framework.
Static analysis framework for C
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
Java code commit impact, java code change impact analysis,java代码改动影响范围分析工具,精准测试,回归测试范围划定
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
A static analyzer of variable value growth for C programs.
Semgrep rules registry
Solidity parser in Go, designed to transform Solidity code into a structured format for enhanced analysis, particularly beneficial for developers using Go to analyze Solidity smart contracts.
Formal verification tool for Solidity
Practical Program Analysis (academic course) presented in Innopolis University in 2023
A new version of Soot with a completely overhauled architecture
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.
Jar Analyzer - 一个JAR包分析工具,批量分析搜索,方法调用关系搜索,字符串搜索,Spring分析,CFG分析,JVM Stack Frame分析,远程分析Tomcat,进阶表达式搜索,自定义SQL查询,字节码查看,字节码指令级的动态调试,命令行分析,反编译JAR包一键导出,集成简易RASP
Add a description, image, and links to the program-analysis topic page so that developers can more easily learn about it.
To associate your repository with the program-analysis topic, visit your repo's landing page and select "manage topics."