GitHub · Where software is built

Labels Milestones New issue

Unsound evaluation of <code>sizeof</code> expressions

#1809

· sim642 opened

on Aug 14, 2025

Quickcheck int domain overflows

#1808

· sim642 opened

on Aug 14, 2025

Consider some more interactions between thread creation, joins, and mutexes

#1805

· michael-schwarz opened

on Aug 8, 2025

Constant string literals are considered Top pointers

#1802

· Robotechnic opened

on Aug 4, 2025

memOutOfBounds analysis causes integer overflow

#1801

· Robotechnic opened

on Aug 4, 2025

Stop printing solver stats after solving finishes

good first issue

#1796

· sim642 opened

on Jul 30, 2025

·

v2.7.0 Bamboozled Buffalo

Avoid eager string conversions during analysis

#1795

· sim642 opened

on Jul 30, 2025

·

v2.7.0 Bamboozled Buffalo

base <code>invariant_fallback</code> mishandles casts

#1782

· leunam99 opened

on Jul 13, 2025

·

Thread return value cast causes weird unsigned integer underflow

#1767

· Robotechnic opened

on Jun 25, 2025

·

Spurious warning due to wrong array size from <code>calloc</code>

#1766

· Robotechnic opened

on Jun 25, 2025

def_exc bounds refinement is asymmetric

#1757

· sim642 opened

on Jun 12, 2025

Total LLoC depends on analysis

#1737

· sim642 opened

on Apr 30, 2025