Search results

Unsafe Dataflow Detection Issue Related to Reference Handling​

Status: Open.

#67 In sslab-gatech/Rudra;

· RJerrica opened on Oct 4, 2025

A false positive in unsafe dataflow detection

Status: Open.

#66 In sslab-gatech/Rudra;

· clearlove2077 opened on Sep 2, 2025

False negative in unsafe dataflow checker due to Copy trait

Status: Open.

#65 In sslab-gatech/Rudra;

· soyo114 opened on May 2, 2025

A false negative caused by different loop forms

Status: Open.

#63 In sslab-gatech/Rudra;

· stoneman258 opened on Apr 15, 2025

A false negative about Unsafe Dataflow detection in Rudra

Status: Open.

#62 In sslab-gatech/Rudra;

· stoneman258 opened on Apr 15, 2025

I've fully ported rudra with charon-rudra, all testcases are supported

Status: Open.

#61 In sslab-gatech/Rudra;

· zjp-CN opened on Apr 1, 2025

<code>SliceFromRaw</code> False Negative

Status: Open.

#59 In sslab-gatech/Rudra;

· stoneman258 opened on Sep 30, 2024

UnsafeDestructor False Negative

Status: Open.

#58 In sslab-gatech/Rudra;

· stoneman258 opened on Sep 24, 2024

Rudra's semantic diverged from the paper's version

Status: Open.

#56 In sslab-gatech/Rudra;

· Qwaz opened on Feb 12, 2024

Updating to a more recent version of rust compiler

Status: Open.

#51 In sslab-gatech/Rudra;

· sydhds opened on Jan 13, 2023

Support SARIF output

Status: Open.

#22 In sslab-gatech/Rudra;

· GeekMasher opened on Jan 12, 2022

GitHub action

Status: Open.

#20 In sslab-gatech/Rudra;

· kirawi opened on Nov 28, 2021