Bit-precise procedure-modular termination analysis
Non-termination is the root cause of a variety of program bugs, such as hanging programs and vulnerabilities to denial-of-service attacks. This makes an automated analysis that can prove the absence of such bugs highly desirable. To scale termination checks to large systems, an interprocedural termi...
| Main Authors: | , , , , |
|---|---|
| Format: | Journal article |
| Published: |
Association for Computing Machinery
2018
|