All issues

Search results

docs: align README shielded examples with current compiler behavior

Status: Open.

#399 In SeismicSystems/seismic-solidity;

· Osraka opened on Aug 25, 2026

3.5 follow-up (regression): FixedBytesType shift by a shielded amount silently leaks after 10312/10315 removal

Status: Open.

#393 In SeismicSystems/seismic-solidity;

· HenryMBaldwin opened on Jul 30, 2026

3.12 follow-up: declassification walk misses UnaryOperation (~uint256(secret) silent)

Status: Open.

#390 In SeismicSystems/seismic-solidity;

· HenryMBaldwin opened on Jul 22, 2026

3.16 follow-up: loop pre-block/condition mis-scoped in 10309 detector (FP rejects valid code, FN misses conflict)

Status: Open.

#388 In SeismicSystems/seismic-solidity;

· HenryMBaldwin opened on Jul 22, 2026

3.5 follow-up: shift by a shielded amount leaks via public result (warning-only, unlike exp)

Status: Open.

#386 In SeismicSystems/seismic-solidity;

· HenryMBaldwin opened on Jul 22, 2026

3.9: sbytes -> sbytesN cast type-checks but has no codegen, crashing the compiler (ICE)

Status: Open.

#382 In SeismicSystems/seismic-solidity;

· HenryMBaldwin opened on Jul 13, 2026

3.16: 10309 same-slot conflict detector flattens branch arms and trusts textual order

Status: Open.

#380 In SeismicSystems/seismic-solidity;

· HenryMBaldwin opened on Jul 9, 2026

3.11: inline-asm 10308/10314 resolve the slot operand by surface syntax, so computed slots, yul aliases, and local storage pointers bypass them

Status: Open.

#378 In SeismicSystems/seismic-solidity;

· HenryMBaldwin opened on Jul 9, 2026

3.12: 10313 declassification warning only fires on a cast that is a direct emit/revert/require argument

Status: Open.

#376 In SeismicSystems/seismic-solidity;

· HenryMBaldwin opened on Jul 9, 2026

3.18: shielded number literal (s-suffix) is scanned even pre-Mercury, unlike shielded keywords

Status: Open.

#374 In SeismicSystems/seismic-solidity;

· HenryMBaldwin opened on Jul 6, 2026

3.15: supportShieldedStorage/hasTimestampMs use >= mercury with no upper bound, so post-Mercury versions accept shielded features

Status: Open.

#372 In SeismicSystems/seismic-solidity;

· HenryMBaldwin opened on Jul 6, 2026

3.13: msg.value/msg.data shielded-assignment warning misses tuple member/index targets and helper-call launders

Status: Open.

#370 In SeismicSystems/seismic-solidity;

· HenryMBaldwin opened on Jul 6, 2026