|
|
|
|
|
|
by photochemsyn
52 days ago
|
|
|
I read the paper looking for what kinds of static analysis, fuzzing, sanitizers, formal tools, HIL testing, binary analysis were used - didn’t see anything. I’d guess that’s an area where C tooling is pretty far ahead of Rust tooling at present? |
|
|