Argon2 code audits – part one – Infer
A pretty viable way to run Facebook’s Infer dataflow static analysis tool (which is otherwise quite a bear to run).
(tags: infer facebook java clang errors static-analysis lint dataflow docker)
(Things I found interesting recently.)
Argon2 code audits – part one – Infer
A pretty viable way to run Facebook’s Infer dataflow static analysis tool (which is otherwise quite a bear to run).
(tags: infer facebook java clang errors static-analysis lint dataflow docker)