|
|
|
|
|
|
by UncleMeat
2279 days ago
|
|
|
Same way you use anything. Testing isn't perfect, yet it is still useful. Fuzzing isn't perfect, yet it is still useful. Unsound static analysis techniques aren't perfect, yet they are still useful. The alternative is that your abstract interpretation is pinning to Top very quickly and then throwing false positives everywhere. |
|
|