The long way through Software Craftsmanship

Self-Study in February 2023

Feb 1, 2023 - 2 minute read - Comments - self-study-aggregation2023februaryaddresssanitizeraflasanbare-metalbound-checkcc-languagecbmccheckerclangcrashdumpdr-memoryfirmwarefuzzinggperftoolshacker-newsheapimportedllvmmemcheckmemory-sanitizermemsannubixreini-urbansansat-solverstackstatic-analysistestingtesting-pyramidtoolubsanvalgrind

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

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

Self-Study in January 2023 Self-Study in March 2023