Awesome GitHub RepositoriesExecution Graph Analysis

Simplify es un sandbox de máquina virtual de Android, trazador de ejecución de bytecode y framework de análisis estático. Sirve como un desofuscador de bytecode Dalvik diseñado para recuperar código legible a partir de binarios mediante la simulación del comportamiento del programa sin necesidad de un dispositivo físico. El proyecto se distingue por utilizar análisis de grafos de ejecución para resolver llamadas de reflexión y simplificar código ofuscado mediante propagación de constantes y eliminación de código muerto. Emplea simulación de ejecución multipath para rastrear todos los posibles resultados de ramas condicionales y mapea el flujo de instrucciones para identificar valores constantes. El sistema cubre una amplia gama de capacidades de análisis, incluyendo el rastreo de propagación de excepciones, categorización de efectos secundarios de métodos y simulación de llamadas a la API de Java. También proporciona mecanismos para interceptar ejecuciones de métodos mediante hooks personalizados para monitorear o anular estados de la máquina virtual.

onnxsim es un optimizador de grafos de deep learning y simplificador de modelos diseñado para reducir la complejidad de los grafos de computación ONNX. Funciona como un compresor de modelos que reemplaza secuencias complejas de operadores con salidas constantes simplificadas para disminuir la sobrecarga operativa. El proyecto logra la simplificación mediante la inferencia de plegado de constantes (constant folding), que reemplaza subgrafos de operadores constantes con tensores constantes precalculados. Utiliza la reescritura de grafos basada en patrones y el análisis estático de grafos de computación para identificar y eliminar nodos redundantes u operaciones inalcanzables. La herramienta cubre amplias capacidades de optimización de modelos, incluyendo la eliminación de redundancia de operadores y la eliminación de nodos de reshape o identidad innecesarios. Estos procesos agilizan el flujo de ejecución y reducen la huella de memoria del modelo.

SVF is an open-source static program analysis framework and points-to analysis library that tracks memory references, variable aliases, and data dependencies across whole programs. The platform translates compiled intermediate code formats into unified internal representations, constructing constraint graphs, call graphs, and control-flow graphs to model interprocedural execution behavior and memory state. The framework incorporates specialized engines for flow-sensitive, flow-insensitive, and context-sensitive pointer analysis alongside sparse value-flow graph generation. It features memory