Lenient Execution of C on a Java Virtual Machine: or: How I Learned to Stop Worrying and Run the Code

@inproceedings{Rigger2017LenientEO,
  title={Lenient Execution of C on a Java Virtual Machine: or: How I Learned to Stop Worrying and Run the Code},
  author={Manuel Rigger and Roland Schatz and Matthias Grimmer and Hanspeter M{\"o}ssenb{\"o}ck},
  booktitle={ManLang},
  year={2017}
}
Most C programs do not conform strictly to the C standard, and often show undefined behaviors, for instance, in the case of signed integer overflow. When compiled by non-optimizing compilers, such programs often behave as the programmer intended. However, optimizing compilers may exploit undefined semantics to achieve more aggressive optimizations, possibly breaking the code in the process. Analysis tools can help to find and fix such issues. Alternatively, a C dialect could be defined in which… CONTINUE READING
6 Citations
12 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 12 references

https://groups.google.com/forum/ m/#!msg/boring-crypto/48qa1kWignU/o8GGp2K1DAAJ (Accessed August 2017)

  • Daniel Julius Berstein
  • BORINGCC
  • 2015
Highly Influential
5 Excerpts

The CERT C Secure Coding Standard (1st ed.). Addison- Wesley Professional

  • Robert C. Seacord
  • 2008
Highly Influential
9 Excerpts

Proposal for a Friendly Dialect of C

  • Pascal Cuoq, Matthew Flatt, John Regehr
  • 2014
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…