Hacker News
- KLEE: A symbolic virtual machine built on top of LLVM https://klee.github.io/ 4 comments
- KLEE LLVM Execution Engine https://klee.github.io 20 comments
Linking pages
- Why Rust is actually good for your car. | by Johannes Foufas | Volvo Cars Engineering | Medium https://medium.com/volvo-cars-engineering/why-volvo-thinks-you-should-have-rust-in-your-car-4320bd639e09 362 comments
- GitHub - analysis-tools-dev/static-analysis: ⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality. https://github.com/analysis-tools-dev/static-analysis 112 comments
- Auditing popular Rust crates: how a one-line unsafe has nearly ruined everything | by Sergey "Shnatsel" Davidoff | Medium https://medium.com/@shnatsel/auditing-popular-rust-crates-how-a-one-line-unsafe-has-nearly-ruined-everything-fab2d837ebb1 93 comments
- The rev.ng decompiler goes open source + start of the UI closed beta - rev.ng https://rev.ng/blog/open-sourcing-renvg-decompiler-ui-closed-beta 72 comments
- A gentle introduction to automated reasoning - Amazon Science https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning 51 comments
- Rust testing or verifying: Why not both? – Alastair Reid – Researcher at Intel https://alastairreid.github.io/why-not-both/ 36 comments
- Combining GNAT with LLVM | The AdaCore Blog https://blog.adacore.com/combining-gnat-with-llvm 29 comments
- GitHub - analysis-tools-dev/static-analysis: ⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality. https://github.com/mre/awesome-static-analysis#c 21 comments
- Rust verification tools (2020) – Alastair Reid – Researcher at Intel https://alastairreid.github.io/rust-verification-tools/ 18 comments
- GitHub - kokke/tiny-regex-c: Small portable regex in C https://github.com/kokke/tiny-regex-c 16 comments
- Automatic Rust verification tools (2021) – Alastair Reid – Researcher at Intel https://alastairreid.github.io/automatic-rust-verification-tools-2021/ 16 comments
- Finding Software Bugs Using Symbolic Execution https://sasnauskas.eu/finding-software-bugs-using-symbolic-execution/ 10 comments
- GitHub - m-alvarez/scher: A symbolic testing framework for Haskell https://github.com/m-alvarez/scher 10 comments
- Making a Compile-time Brainfuck Compiler in D (translation) â The Art of Machinery https://theartofmachinery.com/2017/12/31/compile_time_brainfuck.html 8 comments
- Heavy lifting with McSema 2.0 | Trail of Bits Blog https://blog.trailofbits.com/2018/01/23/heavy-lifting-with-mcsema-2-0/ 8 comments
- Using Seahorn | Rust Verification Tools https://project-oak.github.io/rust-verification-tools/using-seahorn/ 4 comments
- GitHub - klee/klee: KLEE Symbolic Execution Engine https://github.com/klee/klee 4 comments
- GitHub - lifting-bits/mcsema: Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode https://github.com/lifting-bits/mcsema 3 comments
- Using KLEE on Rust-for-Linux (part 1) | Rust Verification Tools https://project-oak.github.io/rust-verification-tools/2021/08/22/rust-on-linux-1.html 1 comment
- Applications of Formal Methods in Computer Architecture | SIGARCH https://www.sigarch.org/applications-of-formal-methods-in-computer-architecture/ 0 comments