LLVM Compiler Infrastructure
License: University of Illinois/NCSA Open Source License
Web Page: http://llvm.org/OpenProjects.html
Mailing List: http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
- clang-highlight – high quality syntax highlighting A good syntax highlighter for C++ identifies types in an incomplete source snippet. Currently, there is no library around that is able to do this reliably. The goal of this proposal is to implement a syntax highlighter. The main part will consist of developing a fuzzy parser library that parses C++ heuristically. This fuzzy parser library could potentially be used in other areas as well.
- Improve API Modeling Infrastructure of the Static Analyzer The analyzer can model domain-specific information that it can exploit to find bugs. One way is to use the BodyFarm, which allows the analyzer to synthesize faux implementations to better model the semantics of code. The analyzer lacks domain-specific knowledge of important APIs. This project would extend BodyFarm to make it easier to write models for APIs. This would lay foundation work for global analysis by providing a way to represent models that could be auto synthesized.
- Improving Polly’s Automatic GPGPU Code Generation with Novel Algorithms In this project, novel automatic parallelization algorithms used by PPCG project will be ported to Polly to improve Polly’s GPGPU code generation functionality with a scalable object-oriented based implementation.
- Scan-build tracking platform The idea is to extend scan-build tool to make it collect and track static analyzer's results in time. This allows developers to easily monitor the status of the analyzer's warnings. This project also gives opportunity to mark warnings as false-positive in convinient way. Also tracking platform will provide an unique id for each defect's report. It allows to easily report bugs in the project's bugzillas and share reports to an another developer.