Lightlines
By trailofbits

spec-to-code-compliance

trailofbits5.4k installs

Find where your code breaks its written promises.

What it does

Identifies which documented requirements the code satisfies, violates, or omits, and which behaviors are undocumented.

When to use it

Use when both documentation of intended behavior and the implementation are available, especially when the documentation is authoritative.

How to use it

Give it a code path and documentation of intended behavior; it dispatches requirement checks and writes a compliance report with per-requirement analyses.

What you provide

  • the code path
  • An existing project
  • Your files

Good to know

  • starts one helper agent per item, so the count depends on the work
  • starts 2 helper agents
  • starts 1 helper agents

Latest review

What you need · 0

No setup requirements listed.


Access · 0

No additional actions listed.