Search results

Error when enabling <code>register_tool</code> in <code>lib.rs</code>

bugSomething isn't workingSomething isn't working

flow-analysisConcerns the PDG construction componentConcerns the PDG construction component

good first issueGood for newcomersGood for newcomers

Status: Open.

#180 In brownsys/paralegal;

· JustusAdam opened on Aug 15, 2025

Control flow from short circuited conditions is not properly recognized.

Status: Open.

#168 In brownsys/paralegal;

· JustusAdam opened on Dec 7, 2024

Field sensitivity lost with nested structs.

bugSomething isn't workingSomething isn't working

flow-analysisConcerns the PDG construction componentConcerns the PDG construction component

Status: Open.

#167 In brownsys/paralegal;

· JustusAdam opened on Oct 2, 2024

Assigning the contents of a <code>Box</code> is not considered a strong update.

Status: Open.

#155 In brownsys/paralegal;

· JustusAdam opened on Jun 4, 2024

Resolving virtual methods with generic arguments does not work.

Status: Open.

#152 In brownsys/paralegal;

· JustusAdam opened on May 24, 2024

Odd aliasing behavior in async functions

Status: Open.

#144 In brownsys/paralegal;

· JustusAdam opened on Apr 26, 2024

Pointer resulting from exchange_malloc not marked

bugSomething isn't workingSomething isn't working

markersConcerns the assignment logic for markersConcerns the assignment logic for markers

Status: Open.

#143 In brownsys/paralegal;

· JustusAdam opened on Apr 20, 2024

Resolution fails on an async closure on Hyperswitch.

bugSomething isn't workingSomething isn't working

Status: Open.

#142 In brownsys/paralegal;

· JustusAdam opened on Apr 20, 2024

Why do flows_to and influencers not behave the same

Status: Open.

#141 In brownsys/paralegal;

· JustusAdam opened on Apr 20, 2024

Values created by a function return are not tracked as individual fields.

enhancementNew feature or requestNew feature or request

flow-analysisConcerns the PDG construction componentConcerns the PDG construction component

markersConcerns the assignment logic for markersConcerns the assignment logic for markers

Status: Open.

#138 In brownsys/paralegal;

· JustusAdam opened on Apr 5, 2024

Async support cannot handle generators as arguments or returns from non-async functions

Status: Open.

#136 In brownsys/paralegal;

· JustusAdam opened on Mar 30, 2024

Mutable controller arguments should be considered "output" of the controller

bugSomething isn't workingSomething isn't working

Status: Open.

#128 In brownsys/paralegal;

· JustusAdam opened on Feb 23, 2024