module

Noir::CLI::ReachCommand

noir reach <FILE[:LINE]> [paths...] [scan flags]

Reverse lookup: which endpoints are declared in, call into, or are guarded/validated/sunk in this file. Each row carries the evidence (via) from that file.

Class methods

empty_hint(endpoints : Array(Endpoint), file : String) : String

Why nothing came back: a file Noir recorded nothing in is not the same as a name it never saw, and neither means the file is unrelated.

Source
parse_target(arg : String) : Tuple(String, Int32 | Nil)

src/users.go:42 → {"src/users.go", 42}. A trailing :N is only a line when N is digits, so a Windows drive or a path with a colon is left alone.

Source
run(argv : Array(String))
Source