News for hackers. Stuff that matters.

A comment on CVE-2021-32471 – Input validation in Marvin Minsky 1967 Turing Machine. Parent comment

Re:CVE-2021-32471 – Input validation in Marvin Minsky 1967 T... by UncleMeat on Monday May 10, 2021 @11:54AM (#27107438)
Datalog would be the closest I can think of. A bunch of static analysis engines are implemented in it.
[ Parent | on HN ]

There are no comments on this comment yet.