https://1library.org/document/nq782ndz-static-analysis-of-lockless-microcontroller-c-programs.html