Sound Termination and Non-termination Analysis of C Programs with Bit-Precise Bounded Semantics and Advanced Constructs.

Negar Fathi Hiroshi Unno 0001 Tachio Terauchi Rahul Purandare Sound Termination and Non-termination Analysis of C Programs with Bit-Precise Bounded Semantics and Advanced Constructs. 4505-4528 2026 3 Proc. ACM Softw. Eng. FSE https://doi.org/10.1145/3808205 db/journals/pacmse/pacmse3.html#FathiUTP26