Rare find

Reopt. Take apart compiled programs and put them back together better.

github.com/GaloisInc/reopt

Problem

The full read on this project is a sign-in away — what it solves, who it serves, and where it sits in the market.

Audience

The full read on this project is a sign-in away — what it solves, who it serves, and where it sits in the market.

Market

The full read on this project is a sign-in away — what it solves, who it serves, and where it sits in the market.

Pricing

The full read on this project is a sign-in away — what it solves, who it serves, and where it sits in the market.

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

October 2024

Merge pull request #322 from GaloisInc/vr/fix-gep Oct 18
fix confusion between GEP base type and return type Oct 18
Merge pull request #321 from GaloisInc/vr/fix-lhsty-bug Oct 18
fix pattern-matching binding bug Oct 18
Merge pull request #320 from GaloisInc/vr/get-inferred-type Oct 18
cosmetic Oct 17
return a typed LLVM value when no type was inferred Oct 17
Merge pull request #319 from GaloisInc/vr/fix-llvm-call-return-type Oct 17
fix Reopt indicate function type rather than return type on LLVM calls Oct 17
Merge pull request #318 from GaloisInc/vr/fix-get-inferred-type Oct 17
don't error when lookup fails in getInferredType Oct 17
Merge pull request #317 from GaloisInc/vr/max-restarts Oct 14
add max-restarts CLI arguments to stop long constraint solving loops Oct 14
Merge pull request #316 from GaloisInc/vr/remove-unnecessary-tracing Oct 14
remove unnecessary tracing Oct 14
Merge pull request #203 from GaloisInc/vr/improve-test_reopt_with_rel… Oct 7
small improvements to test_reopt_with_relink.sh Oct 7
Merge pull request #310 from GaloisInc/vr/final-stretch Oct 7
minor code review cleanups Oct 7
Add case that interprets bitvector as a pointer Oct 7

September 2021

Release —Milestone 1 Release Sep 20

April 2021

Release —Development prerelease Apr 29