Issues

fix(memory): a pointer read out of fresh memory and handed to a callee that dereferences it is silent

itsakeyfut/safec#596 · opened

on Oct 23, 2026

· Memory Safety

fix(nullability): the right operand's null test inside && or || teaches the body nothing

itsakeyfut/safec#595 · opened

on Oct 23, 2026

· Memory Safety

1

feat(memory): decide whether a load or a comparison of a pointer read out of fresh memory is reported

itsakeyfut/safec#587 · opened

on Oct 23, 2026

· Memory Safety

refactor: present the compiler as one safec crate over the crates it is made of

itsakeyfut/safec#570 · opened

on Oct 21, 2026

· Mini C

1

feat(preprocessor): read a reserved-name include guard without trusting what its header defines

itsakeyfut/safec#561 · opened

on Oct 20, 2026

· Mini C

3

feat(memory): say an escaped pointer was distrusted, once the lattice knows why it is reachable

itsakeyfut/safec#471 · opened

on Oct 13, 2026

· Memory Safety

feat(ownership): a declaration says whether the pointer it returns hands ownership over

itsakeyfut/safec#398 · opened

on Oct 8, 2026

· Ownership

1

fix(memory): a call that reaches nothing in C doubts what an escaped local's copy holds

itsakeyfut/safec#345 · opened

on Oct 5, 2026

· Memory Safety

1

fix(memory): a store through a load of the function's own memory is exposed as if it were the caller's

itsakeyfut/safec#278 · opened

on Oct 1, 2026

· Memory Safety

2

feat(annotations): a region hatch, and what a hatch may declare it does

itsakeyfut/safec#249 · opened

on Sep 26, 2026

· Lifetime Safety

feat(ir): name an object with static storage duration

itsakeyfut/safec#85 · opened

on Sep 11, 2026

· Safety IR

Navigation Menu

Repository navigation

Issues

fix(memory): a pointer read out of fresh memory and handed to a callee that dereferences it is silent

fix(nullability): the right operand's null test inside && or || teaches the body nothing

feat(memory): decide whether a load or a comparison of a pointer read out of fresh memory is reported

refactor: present the compiler as one safec crate over the crates it is made of

feat(preprocessor): read a reserved-name include guard without trusting what its header defines

feat(memory): say an escaped pointer was distrusted, once the lattice knows why it is reachable

feat(ownership): a declaration says whether the pointer it returns hands ownership over

fix(memory): a call that reaches nothing in C doubts what an escaped local's copy holds

fix(memory): a store through a load of the function's own memory is exposed as if it were the caller's

feat(annotations): a region hatch, and what a hatch may declare it does

feat(ir): name an object with static storage duration