1. Forum
  2. Newsgroups
  3. comp.theory

  • Make any sense, per-path counters?

    From Chris M. Thomasson@chris.m.thomasson.1@gmail.com to comp.theory on Tue Oct 21 21:34:20 2025
    From Newsgroup: comp.theory

    Ideally "it/decider" would read a BASIC program (whatever), conduct
    heavy static analysis on it before any execution, say we can see we need
    to fuzz say 5 inputs. Mocks up a call into the function ct_program (the
    target under consideration) with those five fuzzed things, then calls
    into ct_program... It says we don't stop until each path has bit hit
    once. For each identified path hit, we bump a per-path counter. If all counters are non-zero, it means we hit all paths... ? Kind of fair
    enough? ;^o
    --- Synchronet 3.21a-Linux NewsLink 1.2