Hacker News new | ask | show | jobs
by a1369209993 1816 days ago
> This is entirely compile time and it covers all executions of the program, whereas taint analysis done at runtime and consider only some executions.

That is literally just the difference between static versus dynamic typing.