Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.
☆14Jul 11, 2014Updated 11 years ago
Alternatives and similar repositories for concolic-walk
Users that are interested in concolic-walk are comparing it to the libraries listed below
Sorting:
- Java Concolic Unit Testing Engine☆94Jul 3, 2014Updated 11 years ago
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Jul 8, 2017Updated 8 years ago
- Eclipse plugin that synthesizes real Java code☆26Aug 20, 2014Updated 11 years ago
- Java Ranger is a path-merging extension of Symbolic PathFinder☆15Jan 24, 2026Updated last month
- Home for the WALi weighted automaton library and OpenNWA nested-word automaton library☆17Nov 28, 2018Updated 7 years ago
- Documentation☆45Nov 2, 2025Updated 4 months ago
- a concolic testing engine for Java☆105Feb 20, 2018Updated 8 years ago
- A(nother) Binary Analysis Framework☆30Jun 10, 2014Updated 11 years ago
- Securibench Micro is a benchmark for static analysis tools for security.☆26Jul 26, 2018Updated 7 years ago
- A framework, data and configs for generating and building Tesseract OCR lang.traineddata model files, specifically for Japanese☆10Dec 9, 2013Updated 12 years ago
- Tool for checking whether two SQL queries are equivalent☆35May 9, 2023Updated 2 years ago
- Speech ANDroid Apps☆20Jan 22, 2014Updated 12 years ago
- Redis tcp map for postfix☆12Jun 28, 2024Updated last year
- "Save as DAISY" add-in for Microsoft Word☆10Dec 22, 2025Updated 2 months ago
- (Labeled) Latent Dirichlet Allocation on a sentence level with Gibbs Sampling☆10Mar 27, 2014Updated 11 years ago
- Madek main web interface☆21Updated this week
- Grecka is a python script to convert Greek to Greeklish based on ELOT 743☆12Aug 4, 2018Updated 7 years ago
- CREST is a concolic test generation tool for C.☆162Jul 5, 2020Updated 5 years ago
- Collection of syzkaller bug reproducers for Linux☆43May 16, 2022Updated 3 years ago
- This is a Django project template using uWSGI as application server.☆10May 15, 2019Updated 6 years ago
- Compute the most likely permutation of a lattice given an LM☆10Jan 3, 2013Updated 13 years ago
- A Code Efficiency Benchmark for Code Generation☆13May 26, 2025Updated 9 months ago
- A simple web framework based on asyncio.☆25Sep 25, 2016Updated 9 years ago
- A plug-in architecture for extending Siri virtual assistant☆29Mar 30, 2014Updated 11 years ago
- Create PDF with responsive layout☆11Apr 21, 2015Updated 10 years ago
- A probabilistic CKY parser for PCFGs☆19Mar 12, 2014Updated 11 years ago
- Eclipse Leda - Self Update Agent (SUA)☆15Jan 16, 2024Updated 2 years ago
- The Facile API is capable of reading (decompiling) .Net assemblies. Covering the metadata tables, the embedded types and methods, includi…☆10Feb 23, 2020Updated 6 years ago
- Bash-style pipelining for Python generators.☆17Apr 20, 2011Updated 14 years ago
- A Graph Rewriting Tool for Plot Generation, uses Graph Grammars☆11Mar 3, 2014Updated 12 years ago
- Simple HTTP redirector for tmpnb nodes☆12Sep 20, 2017Updated 8 years ago
- wavelet-based positive peak detection for 1-d data☆14May 26, 2011Updated 14 years ago
- Adium plugin for Tox IM protocol☆14Sep 6, 2014Updated 11 years ago
- An example of centralising clojure/java logging with Logback, LogStash, ElasticSearch, and Kibana☆17Mar 27, 2014Updated 11 years ago
- Antivirus engine that allows you to create your own anti-virus☆11Nov 2, 2012Updated 13 years ago
- Semantic dependency relationship extractor untuk bahasa Indonesia... termasuk bahasa gaul dan alay ;) (terinspirasi oleh OpenCog RelEx)☆10Oct 2, 2015Updated 10 years ago
- A project to compute all kinds of descriptors for those software products(e.g. LOC, McCabe, Halstead).☆11Mar 20, 2017Updated 8 years ago
- Human-friendly query language for Elasticsearch☆23Jun 8, 2021Updated 4 years ago
- Spark interface to the TileDB storage manager [please see README]☆17Dec 23, 2024Updated last year