Hacker News
- Frama-C: Modular Analysis of C Programs http://frama-c.com/index.html 39 comments
- Frama-C: Function Contracts and Static Analysis for the C Language http://frama-c.com/index.html 14 comments
Lobsters
- Frama-C platform for source-code analysis of C software http://frama-c.com/index.html 3 comments c , programming , security , testing
Linking pages
- How I implemented my own crypto http://loup-vaillant.fr/articles/implemented-my-own-crypto 517 comments
- Why Don't People Use Formal Methods? https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/ 382 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
- GitHub - LoupVaillant/Monocypher: An easy to use, easy to deploy crypto library https://github.com/LoupVaillant/Monocypher 41 comments
- GitHub - toolleeo/cli-apps: The largest Awesome Curated list of CLI/TUI applications with source data organized into CSV files https://github.com/toolleeo/cli-apps 32 comments
- GitHub - ocaml-community/awesome-ocaml: A curated collection of awesome OCaml tools, frameworks, libraries and articles. https://github.com/rizo/awesome-ocaml#books 28 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
- Verifying Software with Timers and Clocks (STACs) https://insights.sei.cmu.edu/sei_blog/2016/12/verifying-software-with-timers-and-clocks-stacs.html 6 comments
- News https://monocypher.org/news 6 comments
- GitHub - binsec/klee21-tina-artifact: TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semantically equivalent C code amenable to verification, in order to take advantage of existing C analyzers. https://github.com/binsec/klee21-tina-artifact 3 comments
- Как мы верифицированный полетный контроллер для квадрокоптера написали. На Ada / Хабр https://habr.com/ru/post/549688/ 3 comments
- TOP 40 Static Code Analysis Tools (Best Source Code Analysis Tools) https://www.softwaretestinghelp.com/tools/top-40-static-code-analysis-tools/ 2 comments
- Q&A: How do You Gain an Understanding of Source Code for a New Project? - Embedded Artistry https://embeddedartistry.com/blog/2020/05/04/qa-how-do-you-gain-an-understanding-of-source-code-for-a-new-project/ 0 comments
- GitHub - REMath/literature_review: Survey of program analysis research with a focus on machine code https://github.com/REMath/literature_review 0 comments
- Weakest Precondition with Z3Py | Hey There Buddo! https://www.philipzucker.com/weakest-precondition-z3py/ 0 comments
- Trying out Frama-C http://www.xn--hrdin-gra.se/blog/2018/11/20/trying-out-frama-c/ 0 comments
- Why not Rust for Omnigres? - DEV Community 👩💻👨💻 https://dev.to/omnigres/why-not-rust-for-omnigres-43ak 0 comments
Would you like to stay up to date with C & C++? Checkout C & C++
Weekly.
Related searches:
Search whole site: site:frama-c.com
Search title: Frama-C - Framework for Modular Analysis of C programs
See how to search.