RecordFlux: addressing binary protocol parser vulnerabilities (blog.adacore.com) 3 points by synack 3y ago ↗ HN
[–] ajdude 3y ago ↗ Ada is by far my favorite programming language, and I really need to spend more time writing about it.Its type system is perfect for this kind of thing and I've done similar to define binary protocols by hand with Ada records in the past.A lot of people think that it is a dead language, but the latest standard is Ada2022!
1 comment
[ 11.0 ms ] story [ 128 ms ] threadIts type system is perfect for this kind of thing and I've done similar to define binary protocols by hand with Ada records in the past.
A lot of people think that it is a dead language, but the latest standard is Ada2022!