Issues

• Add Since: <misti version> to the detectors documentation

  documentationenhancement
  nowarp/nowarp.github.io#44 · Filter by author jubnzv opened on Jun 20, 2025

• Scanner claims to support GitHub URLs, but performs front-end validation on address-shaped inputs only

  area:scannerbug
  nowarp/nowarp.github.io#43 · Filter by author novusnota opened on Jun 18, 2025
  1

• Create a separate page: dot/mmd usage

  documentationenhancement
  nowarp/nowarp.github.io#31 · Filter by author jubnzv opened on Jan 10, 2025

• Document DumpCfg:file option

  documentation
  nowarp/nowarp.github.io#30 · Filter by author jubnzv opened on Jan 10, 2025
  

• Links to open counter-examples from documentation in Web IDE

  documentation
  nowarp/nowarp.github.io#33 · Filter by author anton-trunov opened on Dec 25, 2024

• Document how to add Misti from master using npm/yarn

  documentation
  nowarp/nowarp.github.io#29 · Filter by author jubnzv opened on Nov 20, 2024
  

• Add versioning for API documentation

  enhancement
  nowarp/nowarp.github.io#26 · Filter by author jubnzv opened on Nov 11, 2024

• Support tact syntax highlight in TypeDoc-generated documentation

  enhancement
  nowarp/nowarp.github.io#25 · Filter by author jubnzv opened on Nov 11, 2024

• Document worklist-based solver

  documentation
  nowarp/nowarp.github.io#8 · Filter by author byakuren-hijiri opened on Aug 1, 2024
  

• Document simple AST-based detectors

  documentation
  nowarp/nowarp.github.io#7 · Filter by author byakuren-hijiri opened on Aug 1, 2024
  

• Document IR

  documentation
  nowarp/nowarp.github.io#5 · Filter by author byakuren-hijiri opened on Jul 28, 2024