CCG: A random C code generator Source code repository. (2016). https://github.com/Mrktn/ccg Gergö Barany. 2017. Liveness-Driven Random Program Generation, Pre-proceedings of LOPSTR 2017, 2016. ,
CPAchecker: A Tool for Configurable Software Verification, Computer Aided Verification - 23rd International Conference, CAV. 184?190, 2011. ,
DOI : 10.1007/978-3-540-31980-1_40
Structuring Abstract Interpreters Through State and Value Abstractions In Verification , Model Checking, and Abstract Interpretation (VMCAI). https: //doi, 2017. ,
Optgen: A Generator for Local Optimizations, Compiler Construction: 24th International Conference, CC 2015, pp.978-981, 2015. ,
DOI : 10.1007/978-3-662-46663-6_9
Comparing Compiler Optimizations, Blog post, 2010. ,
Testing Static Analyzers with Randomly Generated Programs, Proceedings of the 4th NASA Formal Methods Symposium, 2012. ,
DOI : 10.1007/978-3-642-28891-3_12
Volatiles are miscompiled, and what to do about it, Proceedings of the 7th ACM international conference on Embedded software, EMSOFT '08, pp.255-264, 2008. ,
DOI : 10.1145/1450058.1450093
URL : http://www.cs.utah.edu/~regehr/papers/emsoft08-preprint.pdf
Iterated Register Coalescing, POPL '96, 1996. ,
DOI : 10.1145/229542.229546
URL : ftp://ftp.cs.princeton.edu/reports/1995/498.ps.Z
Detecting Arithmetic Optimization Opportunities for C Compilers by Randomly Generated Equivalent Programs, IPSJ Transactions on System LSI Design Methodology, vol.9, issue.0, pp.21-29, 2016. ,
DOI : 10.2197/ipsjtsldm.9.21
Detecting Missed Arithmetic Optimization in C Compilers by Differential Random Testing Julien Signoles, and Boris Yakobowski. 2015. Frama-C: A software analysis perspective, The 20th Workshop on Synthesis And System Integration of Mixed Information technologies, pp.573-609, 2015. ,
Many-core Compiler Fuzzing, Proceedings of PLDI '15, pp.65-76, 2015. ,
DOI : 10.1145/2813885.2737986
URL : http://spiral.imperial.ac.uk/bitstream/10044/1/32071/2/PLDI_Fuzzing.pdf
Superoptimizer: A Look at the Smallest Program, Proceedings of ASPLOS II, pp.122-126, 1987. ,
Differential Testing for Software, Digital Technical Journal, vol.10, issue.1, 1998. ,
Effect-driven QuickChecking of compilers, Proc. ACM Program. Lang. 1, ICFP, Article 15, p.3110259, 2017. ,
DOI : 10.1145/1993498.1993532
Chainsaw: Using Binary Matching for Relative Instruction Mix Comparison, 2009 18th International Conference on Parallel Architectures and Compilation Techniques, p.12, 2009. ,
DOI : 10.1109/PACT.2009.12
OptiScope: Performance Accountability for Optimizing Compilers, 2009 International Symposium on Code Generation and Optimization, 2009. ,
DOI : 10.1109/CGO.2009.26
Reinforcing Random Testing of Arithmetic Optimization of C Compilers by Scaling up Size and Number of Expressions, IPSJ Transactions on System LSI Design Methodology, vol.7, issue.0, pp.91-100, 2014. ,
DOI : 10.2197/ipsjtsldm.7.91
Scaling Up Superoptimization, Proceedings of ASPLOS '16, pp.297-310, 2016. ,
Test-case Reduction for C Compiler Bugs, PLDI '12, 2012. ,
DOI : 10.1145/2254064.2254104
Source code repository https: //github.com/MozillaSecurity/funfuzz/tree/master/js/jsfunfuzz Raimondas Sasnauskas Souper: A Synthesizing Superoptimizer, p.4422, 2015. ,
SOK: (State of) The Art of War: Offensive Techniques in Binary Analysis, 2016 IEEE Symposium on Security and Privacy (SP), 2016. ,
DOI : 10.1109/SP.2016.17
Toward understanding compiler bugs in GCC and LLVM, Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, 2016. ,
DOI : 10.1109/ICSE.2012.6227112
A New Algorithm for Identifying Loops in Decompilation, SAS'07, 2007. ,
DOI : 10.1007/978-3-540-74061-2_11
Finding and Understanding Bugs in C Compilers, Proceedings of PLDI '11, pp.283-294, 2011. ,