Awesome Open Source

Programming Languages

Search results for java symbolic execution

symbolic-execution x

13 search results found

Angryghidra ⭐ 501

Use angr in Ghidra

Formulog ⭐ 137

Datalog with support for SMT queries and first-order functional programming

Utbotjava ⭐ 110

Automated unit test generation and precise code analysis for Java

Jpf Symbc ⭐ 104

Symbolic PathFinder

A high-performance, parallel, compilation-based symbolic execution engine

Java Concolic Unit Testing Engine

A platform for analysis of Java bytecode

Concolic analysis tool for Java

Synthesizing Framework Models for Symbolic Execution

Symbolic Execution of Android Framework

Tool for algorithmic complexity analysis based on symbolic execution

Ethereum Bytecode Analyzer ⭐ 5

Find contracts in the Ethereum blockchain, analyze its bytecode and filter by JSON custom rules

Related Searches

Java Spring (21,350)

Java Spring Boot (11,982)

Java Video Game (8,093)

Java Gradle (8,072)

Java Docker (6,180)

Java Database (6,015)

Java Mysql (5,954)

Java Sdk (5,864)

Javascript Java (5,468)

Java Rest (4,956)

1-13 of 13 search results

Privacy | About | Terms | Follow Us On Twitter

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