Search results

False Negative: RefCell dereference combined with immediate closure suppresses warnings.

Status: Open.

#39 In endorlabs/MIRAI;

· rikki322 opened on Jan 27, 2026

Systematic False Negatives: Immediate Closures suppress warnings (Arithmetic, Memory, Unsafe, Logic)

Status: Open.

#38 In endorlabs/MIRAI;

· chisa22 opened on Jan 27, 2026

A false negative bug in MIRAI

Status: Open.

#36 In endorlabs/MIRAI;

· stoneman258 opened on Oct 21, 2025

MIRAI fails to identify division-by-zero bug due to various types

Status: Open.

#35 In endorlabs/MIRAI;

· stoneman258 opened on Apr 8, 2025

cargo mirai failures

Status: Open.

#34 In endorlabs/MIRAI;

· vanhauser-thc opened on Apr 4, 2025

What is the purpose of MIRAI_FLAGS in cargo_mirai?

Status: Open.

#14 In endorlabs/MIRAI;

· yaokunzhang opened on Dec 2, 2024

Too many duplicated warnings during analysis

Status: Open.

#10 In endorlabs/MIRAI;

· stoneman258 opened on Nov 18, 2024