Search results

Add back resolve-klee toolchain, or some other way to prepare code for klee using resolve

Status: Open.

#221 In riversideresearch/resolve;

· rjsmith1999 opened on Jun 10, 2026

Implement object tracking support for C++ new, delete

CVEAssertRelated to CVEAssert componentRelated to CVEAssert component

libresolveRelated to libresolve componentRelated to libresolve component

remediation trackingStatus of remediation coverageStatus of remediation coverage

Status: Open.

Feature

#173 In riversideresearch/resolve;

· elazaro-riverside opened on Mar 30, 2026

Implement recoverable error handling for libresolve

libresolveRelated to libresolve componentRelated to libresolve component

priority lowItem of low priority or urgencyItem of low priority or urgency

Status: Open.

#172 In riversideresearch/resolve;

· elazaro-riverside opened on Mar 30, 2026

Add quality checks to python

repo maintainanceChanges repository structure or organization focused changesChanges repository structure or organization focused changes

Status: Open.

#161 In riversideresearch/resolve;

· rjsmith1999 opened on Mar 24, 2026

Makefile... support custom prefix

priority lowItem of low priority or urgencyItem of low priority or urgency

repo maintainanceChanges repository structure or organization focused changesChanges repository structure or organization focused changes

Status: Open.

Feature

#156 In riversideresearch/resolve;

· rjsmith1999 opened on Mar 20, 2026

Merge link-facts.sh with extract_facts.py

repo maintainanceChanges repository structure or organization focused changesChanges repository structure or organization focused changes

Status: Open.

#153 In riversideresearch/resolve;

· rjsmith1999 opened on Mar 19, 2026

Cache openssl download in CI when checking openssl demo

priority lowItem of low priority or urgencyItem of low priority or urgency

repo maintainanceChanges repository structure or organization focused changesChanges repository structure or organization focused changes

Status: Open.

#145 In riversideresearch/resolve;

· rjsmith1999 opened on Mar 16, 2026

Bounds checking optimization equivalence

CVEAssertRelated to CVEAssert componentRelated to CVEAssert component

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#144 In riversideresearch/resolve;

· elazaro-riverside opened on Mar 13, 2026

Handling allocations of size 0 across CVEAssert

CVEAssertRelated to CVEAssert componentRelated to CVEAssert component

libresolveRelated to libresolve componentRelated to libresolve component

Status: Open.

#143 In riversideresearch/resolve;

· elazaro-riverside opened on Mar 13, 2026

Support global variable object tracking

CVEAssertRelated to CVEAssert componentRelated to CVEAssert component

libresolveRelated to libresolve componentRelated to libresolve component

priority lowItem of low priority or urgencyItem of low priority or urgency

Status: Open.

#139 In riversideresearch/resolve;

· elazaro-riverside opened on Mar 11, 2026

Optimize CVEAssert alloca instrumentation to skip instrumenting allocas that will never be tested

CVEAssertRelated to CVEAssert componentRelated to CVEAssert component

priority lowItem of low priority or urgencyItem of low priority or urgency

Status: Open.

Feature

#135 In riversideresearch/resolve;

· rjsmith1999 opened on Mar 9, 2026

CVE Assert tests work in CI but not on kessel?

bugSomething isn't workingSomething isn't working

CVEAssertRelated to CVEAssert componentRelated to CVEAssert component

priority lowItem of low priority or urgencyItem of low priority or urgency

Status: Open.

#124 In riversideresearch/resolve;

· rjsmith1999 opened on Feb 26, 2026