0xdeafbeef
Joined 5 years ago
Karma
960
Submissions
59
Member since
May 28
Joined 5 years ago
Or fix an sql injection
How will you find such violations if opaque comes from so or some ffi, so compiler can't see through? you can't. It's heuristics. Sound type system is much stronger