Awesome Open Source

Programming Languages

Search results for execution program analysis

program-analysis x

7 search results found

Symbolic Execution ⭐ 412

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

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.

Jalangi ⭐ 108

Available for legacy purposes. New users please see Jalangi2 https://github.com/Samsung/jalangi2

Concolica ⭐ 63

Python concolic execution framework for program analysis

Surveyor ⭐ 13

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

Noderacer ⭐ 7

A dynamic race detector with guided execution for Node.js applications http://www.brics.dk/noderacer

Dynamic analysis of multithreaded C programs

Related Searches

Python Execution (930)

Javascript Execution (728)

Java Execution (637)

1-7 of 7 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.