Search results

Bring Your Own Allocator Instrumentation

Status: Open.

#205 In stephenrkell/liballocs;

· difcsi opened on Jun 20, 2026

CI is slow

Status: Open.

#200 In stephenrkell/liballocs;

· difcsi opened on Jun 14, 2026

Better handling for wild allocssites

Status: Open.

#199 In stephenrkell/liballocs;

· difcsi opened on Jun 12, 2026

Run tests across many (configurable) compilers

Status: Open.

#192 In stephenrkell/liballocs;

· stephenrkell opened on May 13, 2026

Debian stretch packages not found (affecting README / Docker demo)

Status: Open.

#191 In stephenrkell/liballocs;

· rdck opened on May 12, 2026

[CIL] SRK Inlining handling needs to be ported to Goblint

Status: Open.

#190 In stephenrkell/liballocs;

· difcsi opened on May 12, 2026

Allocation sites sized by definite-length array types should be recorded another way

Status: Open.

#185 In stephenrkell/liballocs;

· stephenrkell opened on Jan 21, 2026

allocscc takes very long when statically linking against big libraries

Status: Open.

#184 In stephenrkell/liballocs;

· mbyzhang opened on Jan 17, 2026

Want unit testing, not just integration testing

Status: Open.

#178 In stephenrkell/liballocs;

· difcsi opened on Dec 10, 2025

Copy relocations against liballocs cause problems

Status: Open.

#175 In stephenrkell/liballocs;

· stephenrkell opened on Dec 4, 2025

malloc_usable_size does not down-adjust to reflect the size usable by the caller, i.e. minus the insert space

Status: Open.

#159 In stephenrkell/liballocs;

· stephenrkell opened on Nov 15, 2025

sudo make install not installing all required files to the prefix

Status: Open.

#149 In stephenrkell/liballocs;

· mbyzhang opened on Oct 29, 2025