Tags
- ACSL
- anonymous-arrays
- ANR
- benchmarks
- big-round-numbers
- c11
- c99
- cfg
- CIL
- CompCert
- conversions-and-promotions
- csmith
- cybersecurity
- derived analysis
- developer
- donut
- facetious-colleagues
- floating-point
- icpc2011
- Jessie
- link
- linking
- memcpy
- metrics
- nitrogen
- obviously-terminates
- OCaml
- oxygen
- position
- QuickLZ
- rant
- rers2012
- restrict
- rte
- skein
- slicing
- so-i-am-at-this-conference-right
- trail
- type-checking
- U3CAT
- undefined behavior
- unspecified behavior
- value
- value-builtins
- visitor
- WP
- zlib