Ucsan#47

Merged

ChengyuSong merged 139 commits into

mainfrom

Jul 1, 2026

Commits on Jan 15, 2026

Update Python binding to support INSERT/DELETE operations with dictionary-based API

ChengyuSong
and
claude
committed

Commits on Jan 16, 2026

Add linking constraints between string and bitvector variables on shared offsets

ChengyuSong
and
claude
committed
skip inst/func marked not to instrument
ChengyuSong
committed

Commits on Jan 17, 2026

support ucsan
ChengyuSong
committed

Commits on Jan 18, 2026

Commits on Jan 20, 2026

import thoroupy backend
ChengyuSong
committed

Commits on Jan 21, 2026

indexed access should use type dfsan_label
ChengyuSong
committed

Commits on Jan 22, 2026

Commits on Jan 27, 2026

Commits on Mar 6, 2026

Commits on Mar 7, 2026

add minimize hints for malloc-family allocation sizes in solver

ChengyuSong
and
claude
committed

Commits on Mar 9, 2026

Commits on Mar 12, 2026

Commits on Mar 13, 2026

can't translate constant nullptr
ChengyuSong
committed

Commits on Mar 14, 2026

Commits on Mar 17, 2026

add assume/assert interfaces for pre-/post-conditions
ChengyuSong
committed

Commits on Mar 18, 2026

Commits on Mar 19, 2026

Commits on Mar 20, 2026

Commits on Mar 22, 2026

Commits on Mar 31, 2026

better assertion handling
ChengyuSong
committed

Commits on Apr 1, 2026

add __ucsan_symbolize_input API for KLEE-style symbolization

ChengyuSong
and
claude
committed

Commits on Apr 3, 2026

Commits on Apr 12, 2026

set KO_CC to LLVM clang path when building libSymsanProxy.o during install

ChengyuSong
and
claude
committed

Commits on Apr 13, 2026

add size_in_bits arg to __taint_union_load for sub-byte type truncation

ChengyuSong
and
claude
committed

Commits on Apr 15, 2026

Commits on May 12, 2026

add ucsan custom wrappers for abort and __assert_fail

ChengyuSong
and
claude
committed

Commits on May 13, 2026

add copy overflow detection for ucsan: strcpy/memcpy into bounded alloca

ChengyuSong
and
claude
committed

Commits on May 14, 2026

Commits on May 15, 2026

Commits on May 18, 2026

resign check label of every byte, so store must too
ChengyuSong
committed

Commits on May 22, 2026

add fake file I/O simulator for ucsan

ChengyuSong
and
claude
committed

Commits on May 23, 2026

fix losing deps when Load load overlapping bytes; improve debug print
ChengyuSong
committed

Commits on Jun 9, 2026

ucsan: simulate fstat/fileno/file-size in the file simulator
ChengyuSong
committed

Commits on Jun 13, 2026

ucsan: round-trip string-search results into UC pseudo-pointer space

ChengyuSong
and
claude
committed

Commits on Jun 18, 2026

Commits on Jun 22, 2026

add memleak checker
ChengyuSong
committed

Commits on Jun 25, 2026

Commits on Jul 1, 2026

fix aflpp mutator build: rename stale fsize_type to add_constraint_type

ChengyuSong
and
claude
committed