Issues

• String-valued debuginfo makes cargo-paralegal-flow drop the artifact silently ("no matching targets found")

  brownsys/paralegal#201 · Filter by author JustusAdam opened on Jul 31, 2026
  1

• Policy check and usage

  brownsys/paralegal#186 · Filter by author syrup4u opened on Apr 8, 2026
  4

• Error when enabling register_tool in lib.rs

  bugflow-analysisgood first issue
  brownsys/paralegal#180 · Filter by author JustusAdam opened on Aug 15, 2025

• Control flow from short circuited conditions is not properly recognized.

  brownsys/paralegal#168 · Filter by author JustusAdam opened on Dec 7, 2024

• Field sensitivity lost with nested structs.

  bugflow-analysis
  brownsys/paralegal#167 · Filter by author JustusAdam opened on Oct 2, 2024

• Assigning the contents of a Box is not considered a strong update.

  brownsys/paralegal#155 · Filter by author JustusAdam opened on Jun 4, 2024

• Resolving virtual methods with generic arguments does not work.

  brownsys/paralegal#152 · Filter by author JustusAdam opened on May 24, 2024

• Odd aliasing behavior in async functions

  brownsys/paralegal#144 · Filter by author JustusAdam opened on Apr 26, 2024

• Pointer resulting from exchange_malloc not marked

  bugmarkers
  brownsys/paralegal#143 · Filter by author JustusAdam opened on Apr 20, 2024

• Resolution fails on an async closure on Hyperswitch.

  bug
  brownsys/paralegal#142 · Filter by author JustusAdam opened on Apr 20, 2024

• Why do flows_to and influencers not behave the same

  brownsys/paralegal#141 · Filter by author JustusAdam opened on Apr 20, 2024

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

  enhancementflow-analysismarkers
  brownsys/paralegal#138 · Filter by author JustusAdam opened on Apr 5, 2024
  1

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

  brownsys/paralegal#136 · Filter by author JustusAdam opened on Mar 30, 2024

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

  bug
  brownsys/paralegal#128 · Filter by author JustusAdam opened on Feb 23, 2024

• Add marker test suite

  enhancementmarkers
  brownsys/paralegal#125 · Filter by author JustusAdam opened on Feb 22, 2024

• Should Context actions be on a trait?

  enhancementpolicy-framework
  brownsys/paralegal#117 · Filter by author JustusAdam opened on Nov 19, 2023

• control flow not showing up in async functions

  bugflow-analysis
  brownsys/paralegal#112 · Filter by author carolynzech opened on Nov 16, 2023

• Match statements do not propagate control flow

  bugflow-analysis
  brownsys/paralegal#105 · Filter by author livia01px2019 opened on Nov 7, 2023

• DefInfo::path contains DefInfo::name

  enhancementgood first issuepolicy-framework
  brownsys/paralegal#95 · Filter by author JustusAdam opened on Oct 26, 2023

• Allow slice functions to be marked

  enhancementmarkers
  brownsys/paralegal#94 · Filter by author JustusAdam opened on Oct 26, 2023

• Guide Examples should be tested in CI

  documentationgood first issue
  brownsys/paralegal#84 · Filter by author JustusAdam opened on Oct 12, 2023

• Control flow should propagate to "unconnected" call sites in inlined functions

  bugflow-analysis
  brownsys/paralegal#83 · Filter by author JustusAdam opened on Oct 11, 2023

• Add Return option for ctrl_flow

  flow-analysisgood first issue
  brownsys/paralegal#77 · Filter by author livia01px2019 opened on Oct 10, 2023

• Paralegal command line arguments should be considered when deciding whether to invalidate the compile cache

  flow-analysis
  brownsys/paralegal#75 · Filter by author JustusAdam opened on Oct 9, 2023

• Turn our props policies into integration tests in CI

  CIenhancementgood first issue
  brownsys/paralegal#69 · Filter by author JustusAdam opened on Sep 29, 2023