# undefined\_behavior Undefined behavior is behavior for which a programming-language standard imposes no requirements, potentially producing unpredictable results or terminating execution. This is one page of public article previews, not the complete archive. Follow Next page to continue. Summaries are not the original full articles. ## Looking for Missed Alarm Bugs in a Formal Verification Tool DevFeed: [Looking for Missed Alarm Bugs in a Formal Verification Tool]() Original publisher: [Read original article]() Author: regehr Published: 2024-09-04T18:29:03Z Content type: article Language: en Sources: [Embedded in Academia]() Topics: [Formal verification](), [LLVM](), [Compiler](), [Testing](), [C](), [C++](), [undefined\_behavior]() Tags: [bugs](), [c](), [c-plus-plus](), [compiler](), [formal-verification](), [llvm](), [testing](), [uncategorized](), [undefined-behavior](), [verification]() ### AI overview This co-authored article explains how formal verification tools themselves require rigorous engineering and testing. It describes testing Alive2, a translation validation tool for LLVM optimizations, including the challenge of finding missed-alarm bugs and the use of randomized program generation with YARPGen. ### Source excerpt [This piece is co-authored with Vsevolod Livinskii.] Formal verification isn't some sort of magic pixie dust that we sprinkle over a computer system to make it better. Real formal verification involves a lot of the same kind of difficult, nasty, grungy engineering work that any other systems-level job involves. Furthermore, the verification tools themselves are [...] ## Blog: Falco Weekly 47 - 2023 DevFeed: [Blog: Falco Weekly 47 - 2023]() Original publisher: [Read original article]() Published: 2023-11-24T00:00:00Z Content type: article Language: en Sources: [Falco - Falco](), [Falco - The Falco blog]() Topics: [Falco](), [ci](), [undefined\_behavior](), [async]() Tags: [blog](), [changes](), [ci](), [falco](), [improvements](), [undefined-behavior](), [weekly]() ### AI overview A weekly Falco community recap covering cleanup and fixes across Falco libraries, including async event queue and statistics updates, planned tracer deprecation and architecture support, a new official adopter, Falcoctl driver-command work, and the Driverkit v0.16.0 release. ### Source excerpt Another week, another load of improvements everywhere in the falcosecurity! What happened in Falco this week? Let's go through the major changes that happened in various repositories under the falcosecurity organization. Libs The anticipated 0.14.0 libs tag (and its driver counterpart) are a bit late, unfortunately. Anyway, spring cleaning went on this week! removed stopwatch implementation, now unused: https://github.com/falcosecurity/libs/pull/1493 removed unused sinsp_test.cpp file: https://github.com/falcosecurity/libs/pull/1499 removed jq dep: https://github.com/falcosecurity/libs/pull/1500 Moreover, some fixes on the recently introduced async event queue class happened: https://github.com/falcosecurity/libs/pull/1490, https://github.com/falcosecurity/libs/pull/1504. Finally, some fixes around the stats code: https://github.com/falcosecurity/libs/pull/1505, https://github.com/falcosecurity/libs/pull/1506. Rumors have it coming next week: New big cleanup: deprecation of tracers: https://github.com/falcosecurity/libs/pull/1503 ppc64le support for bpf and kmod + CI build jobs: https://github.com/falcosecurity/libs/pull/1497 remove old metaevents implementation: https://github.com/falcosecurity/libs/pull/1495 Small fix on top of ia32 work: https://github.com/falcosecurity/libs/pull/1501 Second part of an effort by Luca Guerra to clean up libsinsp from potential undefined behavior: https://github.com/falcosecurity/libs/pull/1502. This is so important that deserved to be left alone :) Falco We have a new official adopter! Welcome to Thought Machine: https://github.com/falcosecurity/falco/pull/2919 Small cleanup to avoid Falco configuratiom to be inited twice: https://github.com/falcosecurity/falco/pull/2917 Falcoctl The new driver command was merged! https://github.com/falcosecurity/falcoctl/pull/343 We are now in the process of adding tests and eventually fixing spotted bugs :) Also, the new asset artifact type PR is being reviewed: https://github.com/falcosecurity/ ## Uninitialized Stack Variables DevFeed: [Uninitialized Stack Variables]() Original publisher: [Read original article]() Published: 2021-11-25T03:46:08Z Content type: article Language: en Sources: [Signs of Triviality]() Topics: [undefined\_behavior]() Tags: [behavior](), [illustration](), [undefined-behavior]() ### AI overview An illustration explains how uninitialized stack variables can lead to undefined behavior. ### Source excerpt An illustration of how uninitialized stack variables can lead to undefined behavior.