455 Open source projects that are alternatives of or similar to Symbolic Execution

Binary Analysis Platform

Markdown timeline format and toolkit.

Timeline Tree of Tabletop Role-Playing Games, celebrating more than 40 years game design innovations

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.

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

以 社会学年鉴模式体例规范地统编自2019年末起新冠肺炎疫情进展的时间线。

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

Data and a example for a open source timeline of the history of Bitcoin development

A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.

Interactive grand unified timeline of 30,800 ancient Chinese people / 古人全表

Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

TIRO - A hybrid iterative deobfuscation framework for Android applications

COVID-19 statistics for Germany. For states and counties. With time series data. Daily updates. Official RKI numbers.

This component enables timeline view for Salesforce Record history.

直观地显示各个历史时间段及历史地图。Visually display various historical time periods and historical maps.

Symbolic execution tool

A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs

Extracting high level semantic information from binary code

A dynamic analysis framework for WebAssembly programs.

Binary Analysis Framework in Rust

Project moved to: https://github.com/llvm/llvm-project

SeaHorn Verification Framework

A lightweight VM for hardware hacking, RE (fuzzing, symEx, exploiting etc) and wargaming tasks

Full configurable spreadsheet view user interfaces for iOS applications. With this framework, you can easily create complex layouts like schedule, gantt chart or timetable as if you are using Excel.

An Express.js-Style router for the front-end

SwiftUI iOS component for Step Indications.

Rich Enhanced Shell History - Contextual shell history for zsh and bash

Static Analysis Compiler Plugin for Scala

A react Timeline component with virtual rendering

Step-by-step progress view with labels and shapes. A good replacement for UIActivityIndicatorView and UIProgressView.

Application that tracks your time by monitoring your active windows (only titles) and idle time.

资治通鉴易读版

📝 Go: A Documentary | https://golang.design/history

Simple procedural motion with Unity Timeline.

🎬 Scena is a component that represents the timeline of Scene.js. You can control time, properties, and items.

图片选择库，单选/多选、拍照、裁剪、压缩，自定义。包括视频选择和录制。

As polêmicas e tretas 🇧🇷 versionadas

A curated list of dynamic analysis tools for all programming languages, binaries, and more.

Laravel Client - Build Activity Feeds & Streams with GetStream.io

Code and data to create a git repository representing the Unix source code history

[Not maintained] A Timeline component

Display arbitrary GeoJSON on a map with a timeline slider and play button

A set of add-ons for the Omeka content management system, designed specifically for location-based narrative content, and compatible with (optional) paid Curatescape mobile applications.

A kibana visualization that uses swim lanes to visualize multiple sources over time. Each swim lane represents a source and the intervals of the date histogram are colored based on the metric defined at the given time.

Your performance & security consultant, an artisan command away.

📈📉📊A Firefox/Chrome extension to visualize browsing history, sync among different browsers!

Android Timeline View is used to display views like Tracking of shipment/order, steppers etc.

Binary instrumentation framework based on FRIDA

No description or website provided.

No description or website provided.

A cute timeline component for Vue.js.

COM S 413/513 and CPR E 513 Foundations and Applications of Program Analysis @ Iowa State University

The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.

Simple Theorem Prover, an efficient SMT solver for bitvectors

🔑 Decrypt chromium based browsers passwords, cookies, credit cards, history, bookmarks, autofill. Version > 80 is supported.

A collection of BASICODE programs by various authors

Runtime checker for JS coding practices

JS / Browser Client - Build Activity Feeds & Streams with GetStream.io

manages state history