nickgildea/z3_codegen
A toy code generator (i.e. "program synthesis") using the Z3 solver
This program helps developers automatically generate short sequences of code that precisely match a specified function. You provide an existing C function that defines the desired behavior, and the tool outputs a compact code sequence in a simplified instruction set. This is ideal for low-level programmers, compiler engineers, or embedded systems developers looking to optimize or understand function implementations.
No commits in the last 6 months.
Use this if you need to find an optimized, sometimes non-obvious, sequence of assembly-like instructions that replicates the behavior of a given C function.
Not ideal if you're looking to generate complex, high-level application code or if your target function involves extensive logic, as this can quickly become computationally infeasible.
Stars
35
Forks
8
Language
C++
License
Unlicense
Category
Last pushed
Nov 13, 2017
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ai-coding/nickgildea/z3_codegen"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
howerj/dbcc
CAN DBC to C (and CSV, JSON and XML) compiler using the mpc parser combinator library
JhnW/devana
Python package to parse and generate C/C++ code as context aware preprocessor.
biojppm/regen
Easy C++ reflection and code generation
SoftSec-KAIST/CodeAlchemist
CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines (NDSS '19)
Samsung/UTopia
UT based automated fuzz driver generation