CBMC: The C Bounded Model Checker
CBMC on GitHub: https://github.com/diffblue/cbmc Some usage examples: https://haslab.github.io/MFES/2122/CBMCexamples-handout.pdf
https://news.ycombinator.com/item?id=34703004
Tags: cbmc, c, c-language, bound-check, sat-solver, tool, static-analysis, checker, imported, hacker-news
Id: bbe38520-a846-11ed-957a-0242ac110002 Read: Wed Feb 8 01:46:40 2023
TESTING BAREMETAL FIRMWARE AT NUBIX
Extensive guide on how to test firmware. Lots of tools, good recommendations
Tags: bare-metal, firmware, testing, nubix, reini-urban, tool, crashdump, testing-pyramid, addresssanitizer, valgrind, memcheck, dr-memory, gperftools, cbmc, clang, c-language, c, heap, stack, fuzzing, afl, llvm, asan, ubsan, memory-sanitizer, memsan, san
Id: 21676b28-a847-11ed-9bb0-0242ac110002 Read: Thu, 09 Feb 2023 06:58:17 +0000
Leonardo noted link between gravity and acceleration centuries before Einstein
https://news.ycombinator.com/item?id=34764318
Tags: imported, hacker-news
Id: 2df54898-c1a5-11ed-b307-0242ac110004 Read: Sun Feb 12 16:50:04 2023
Ask HN: What is your system for learning new things?
https://news.ycombinator.com/item?id=34771415
Tags: imported, hacker-news
Id: 178b0f06-c1a1-11ed-8c43-0242ac110004 Read: Mon Feb 13 08:41:06 2023
Modern SPAs without bundlers, CDNs, or Node.js
https://news.ycombinator.com/item?id=34829039
Tags: imported, hacker-news
Id: 2b9ba696-c1a5-11ed-9b25-0242ac110004 Read: Fri Feb 17 00:41:32 2023
Lesser known tricks, quirks and features of C
https://news.ycombinator.com/item?id=34855331
Tags: imported, hacker-news
Id: 34f89942-c1a5-11ed-9393-0242ac110004 Read: Sun Feb 19 07:27:49 2023
Writing an engineering strategy
https://news.ycombinator.com/item?id=34859979
Tags: imported, hacker-news
Id: 3047e6d2-c1a5-11ed-a78a-0242ac110004 Read: Sun Feb 19 17:53:48 2023
C-rusted: The advantages of Rust, in C, without the disadvantages
https://news.ycombinator.com/item?id=34863784
Tags: imported, hacker-news
Id: 32a62146-c1a5-11ed-a013-0242ac110004 Read: Mon Feb 20 01:12:27 2023
The usability of advanced type systems: Rust as a case study
https://news.ycombinator.com/item?id=34890787
Tags: imported, hacker-news
Id: 3746398e-c1a5-11ed-b7d4-0242ac110004 Read: Wed Feb 22 02:27:16 2023