Finding and Understanding Bugs in C Compilers.

Yang, X., Chen, Y., Eide, E., & Regehr, J. (2011). Finding and Understanding Bugs in C Compilers. Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2011), 283-294.

Type

Conference paper

Intellectual base

Primary research

Year

2011

DOI

10.1145/1993498.1993532

Link

https://doi.org/10.1145/1993498.1993532

Cited from

computer_science

Cited by

1 citation across 1 artifact.

Each citation links to the sentence it supports in the citing article.

Primes

• Fuzzing
  • In protocol and network testing it is the fuzzing of TLS implementations, DNS resolvers, and compilers.

    This sourcePresents Csmith, a randomized generator that fuzzes C compilers by differential testing, finding 325+ previously unknown bugs — the compiler/protocol-implementation instance of fuzzing.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:6694213f3402 · see in the full table