486 Open source projects that are alternatives of or similar to tiro

Binary Analysis Platform

Your performance & security consultant, an artisan command away.

The Mobile App Pentest cheat sheet was created to provide concise collection of high value information on specific mobile application penetration testing topics.

T.J. Watson Libraries for Analysis

An analysis tool for Python that blurs the line between testing and type systems.

Program for determining types of files for Windows, Linux and MacOS.

Android malware detection using static and dynamic analysis

Program analysis playground for a simple, imperative language

Dynamic definitions and types provider for ruby static analysis

Defund the Police.

Automated code reviews via mutation testing - semantic code coverage.

Radare2 and Frida better together.

Performant type-checking for python.

A LLVM-based static analysis framework.

A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications

Towards Measuring Supply Chain Attacks on Package Managers for Interpreted Languages

OPEM (Open Source PEM Fuel Cell Simulation Tool)

A graph-based static-dynamic hybrid DEX code analysis tool

History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)

HaboMalHunter is a sub-project of Habo Malware Analysis System (https://habo.qq.com), which can be used for automated malware analysis and security assessment on the Linux system.

A targeted input generator for Android that improves the effectiveness of dynamic malware analysis.

Setup scripts for my Malware Analysis VMs

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

The CodeQL extractor and libraries for Go.

Static analysis of IEC 61131-3 programs

This repo aims at providing practical examples on how to use r2frida

Droidefense: Advance Android Malware Analysis Framework

Mobile Security Framework (MobSF) is an automated, all-in-one mobile application (Android/iOS/Windows) pen-testing, malware analysis and security assessment framework capable of performing static and dynamic analysis.

SeaHorn Verification Framework

Semgrep rules registry

CoRnucopia of ABstractions: a library for building abstract interpretation-based analyses

Static Analysis Compiler Plugin for Scala

Static and dynamic Android application security analysis

Static Analyzer for LLVM bitcode based on Abstract Interpretation

The radare2 + frida book for Mobile Application assessment

An ethereum evm bytecode disassembler and static/dynamic analysis tool

A hackable malware sandbox for the 21st Century

Static Analyzer for LLVM bitcode based on Abstract Interpretation

SDA is a rich cross-platform tool for reverse engineering that focused firstly on analysis of computer games. I'm trying to create a mix of the Ghidra, Cheat Engine and x64dbg. My tool will combine static and dynamic analysis of programs. Now SDA is being developed.

Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.

Cluster-based cloud mechanism for running SAVE framework

guardrails.cs.virginia.edu

A Vim plugin for PHPStan - https://github.com/phpstan/phpstan. It calls `phpstan` to do static analysis of your PHP code and displays the errors in Vim's quickfix list.

Detect deeply nested if statements in Go source code

PhpCodeAnalyzer scans codebase and analyzes which non-built-in php extensions used

An R package for static analysis of R code.

gqlanalysis makes easy to develop static analysis tools for GraphQL in Go.

SonarQube CSS / SCSS / Less Analyzer

PHPStan extension for webmozart/assert

A deobfuscator for JavaScript codes generated by Obfuscator.io

Scalpel: The Python Static Analysis Framework

Go Taint CHeck Analyser

ESLint plugin for Scoped CSS in Vue.js

SonarLint integration for Apache Netbeans

C++ compile-time programming (serialization, reflection, code modification, enum to string, better enum, enum to json, extend or parse language, etc.)

Fortran compilers, preprocessors, static analyzers, transpilers, IDEs, build systems, etc.

OCCAM: Object Culling and Concretization for Assurance Maximization

The SECBIT Static Analysis Extension to Solidity Compiler

A Small C Compiler