Search Results for "code analysis"

The Ring is a practical general-purpose multi-paradigm language. The supported programming paradigms are imperative, procedural, object-oriented, declarative using nested structures, functional, meta programming and natural programming. The language is portable (MS-DOS, Windows, Linux, macOS, Android, WebAssembly, Microcontrollers, etc.) and can be used to create Console, GUI, Web, Games and Mobile applications. The language is designed to be simple, small and flexible. Ring is...

The goal of this project is to provide a generator for lexical analyzers of maximum computational efficiency and maximum range of applications. This includes the support for Unicode (UTF8, UTF16, ...) and a large variety of other encodings directly and via nested converters such as ICU(tm) and IConv. Sophisticated buffer handling allows to operate on plain file streams, on sockets, or manually fed buffer content. 'Ready-to-build' examples explain related concepts and facilitate practical...

...It serves as a continuation of Rui Ueyama’s series of compiler projects, focusing on clarity and incremental development rather than production-level optimization. The compiler implements essential stages such as lexical analysis, parsing, semantic analysis, and code generation, providing a complete pipeline from source code to executable output. It supports a subset of the C language sufficient to understand real-world compilation concepts, making it a valuable learning resource for developers interested in low-level programming. The project emphasizes readability and simplicity, with code structured to be easily understood rather than highly optimized. ...

The B compiler is a tool able to parse B models, and perform syntaxic and semantic analysis. It can also be used as a library, linked to applications manipulating B models (cross referencer, code generator, documentation generator, etc.). The most recent source code is available at https://github.com/CLEARSY/BCOMPILER

I want to build a Compiler that will compile C programs. compiler consists of lexical analysis stage,parser,syntax analysis,code generation stage. code for lexical analysis, parser is written in linux using lex and yacc tool.

News: since 2015 we continue all related developments within Collective Knowledge Framework: http://github.com/ctuning/ck/wiki Alchemist plugin is a collection of plugins for GCC/LLVM for external and fine-grain code analysis and tuning. It is intended to to extract program properties for machine learning based optimization (see MILEPOST GCC); optimize programs at fine-grain level (such as unrolling, tiling, prefetching, etc); tune default optimization heuristic; gradually decompose program and detect performance or other anomalies; generate benchmarks particularly useful to train ML-based compilers. ...

CQSAT is a powerful, comprehensive and extensible framework for static analysis of program source code and detection of software defects.