CLANG AS A C++ FRONT-END FOR SOFTWARE ANALYSIS Funded by the FP7 programme of the European Union Frama-C is a software

Source URL: llvm.org

Frama-Clang: a Frama-C front-end for C++ Virgile Prevosto and Franck V´edrine CEA, LIST March, 26th , 2014

Source URL: www.stance-project.eu

888: LLVM Week 3 - LLVM-IR II Tobias Grosser Exerciselast week

Source URL: grosser.es

• Software engineering
• Computer programming
• Software
• Compilers
• LLVM
• Subroutines
• Fibonacci number
• Recursion
• Euclidean algorithm
• Clang
• Intel

McSema: Static Translation of X86 Instructions to LLVM ARTE M DINABURG, ARTE M@ TRAILOFBITS.COM

Source URL: www.trailofbits.com

• Software
• Programming language implementation
• Compilers
• LLVM
• DARPA
• Clang

888: LLVM Week 2 - LLVM-IR Tobias Grosser I

Source URL: grosser.es

• Software
• Computer programming
• Compilers
• Object-oriented programming languages
• Compiler construction
• Procedural programming languages
• LLVM
• Clang
• High-level programming languages
• Intermediate representation
• GNU Compiler Collection
• Compiler

Implementing Continuation based language in LLVM and Clang Kaito TOKUMORI Shinji KONO

Source URL: lola15.tcs.ifi.lmu.de

Implementing Include-what-you-use Using Clang Craig Silverstein Director of Technology, Google Inc. 4 November 2010

Source URL: www.llvm.org

Testing static analyzers with randomly generated programs Pascal Cuoq1 , Benjamin Monate1 , Anne Pacalet2 , Virgile Prevosto1 , John Regehr3 , Boris Yakobowski1 , and Xuejun Yang3 1

Source URL: www.cs.utah.edu

• Programming language implementation
• Frama-C
• Software testing
• Debugging
• Software bug
• Compiler
• Interpreter
• Class
• Clang
• Software engineering
• Software
• Computer programming

libclang: Thinking Beyond the Compiler Monday, November 29, 2010

Source URL: www.llvm.org

• Cross-platform software
• Programming language implementation
• Formal languages
• Parsing
• Clang
• Syntax
• C
• Abstract syntax tree
• Software
• Computing
• Compiler construction