Expose

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.

Categories > Software Quality > Unit Testing

Suggest Alternative

Stars

165

License

mit

Open Issues

Most Recent Commit

9 months ago

Programming Language

JavaScript

Categories

Programming Languages > Javascript

Programming Languages > Programming Language

Software Quality > Unit Testing

Security > Symbolic Execution

Security > Program Analysis

Repo

Alternatives To Expose

Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Deepstate	782	10 months ago	90	apache-2.0	Python
A unit test-like interface for fuzzing and symbolic execution
Expose	165	9 months ago	8	mit	JavaScript
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.
Utbotcpp	105	6 months ago	112	apache-2.0	C++
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
Sandshrew	11	5 years ago	2		Python
Underconstrained symbolic execution for cryptography verification

Alternatives To Expose

Select To Compare

Deepstate ⭐ 782

A unit test-like interface for fuzzing and symbolic execution

most recent commit 10 months ago

Expose ⭐ 165

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.

most recent commit 9 months ago

Utbotcpp ⭐ 105

Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage

most recent commit 6 months ago

Sandshrew ⭐ 11

Underconstrained symbolic execution for cryptography verification

most recent commit 5 years ago

Suggest An Alternative To ExpoSE

Alternative Project Comparisons

Expose vs Deepstate

Expose vs Utbotcpp

Expose vs Sandshrew

Popular Unit Testing Projects

Ava ⭐ 20,627

Node.js test runner that lets you develop with confidence 🚀

dependent packages 33,632total releases 112latest release December 06, 2023most recent commit 2 months ago

Electron Vue ⭐ 14,434

An Electron & Vue.js quick start boilerplate with vue-cli scaffolding, common Vue plugins, electron-packager/electron-builder, unit/e2e testing, vue-devtools, and webpack.

most recent commit 3 years ago

Swifterswift ⭐ 13,744

A handy collection of more than 500 native Swift extensions to boost your productivity.

total releases 40latest release April 07, 2020most recent commit 15 days ago

Cmake Examples ⭐ 11,435

Useful CMake Examples

most recent commit 7 months ago

Pytest ⭐ 11,020

The pytest framework makes it easy to write small tests, yet scales to support complex functional testing

dependent packages 20,621total releases 165latest release October 24, 2023most recent commit 5 months ago

Popular Symbolic Execution Projects

Angr ⭐ 7,005

A powerful and user-friendly binary analysis platform!

dependent packages 16total releases 213latest release December 05, 2023most recent commit 5 months ago

Mythril ⭐ 3,716

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

dependent packages 7total releases 310latest release November 19, 2023most recent commit 2 months ago

Manticore ⭐ 3,535

Symbolic execution tool

dependent packages 1total releases 1,137latest release December 09, 2023most recent commit 10 months ago

Triton ⭐ 3,285

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

dependent packages 1total releases 3latest release December 23, 2022most recent commit 3 months ago

Miasm ⭐ 3,253

Reverse engineering framework in Python

most recent commit 5 months ago

Popular Software Quality Categories

Test Driven Development

Rspec

Junit