Search Results for "c compiler"

Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. Checked C adds static and dynamic checking to C to detect or prevent common programming errors such as buffer overruns and out-of-bounds memory accesses. ...

Roslyn provides rich, code analysis APIs to open source C# and Visual Basic compilers. This enables you to access a wealth of information about your code from compilers, which you can then use for code-related tasks in your tools and applications. Roslyn dramatically lowers the barrier to entry for creating code-focused tools and applications, creating many opportunities for innovation.

The OovAide project used to be named oovcde. Searching the web will bring up more information about oovcde at this time. The OovAide project is a C++ or Java analysis IDE for Windows or Linux with an automated multi-tasking build system, cross compiler support, an analysis tool based on CLang that creates UML class, component, sequence as well as zone and portion diagrams from C++ or Java source, static analysis and test coverage. The diagrams allow navigation through the source code, and can be edited manually and saved as .SVG files. ...

Rift is an free IDE Independent software to Compile, Debug, and Analyse Time Complexity for Multilanguage programs. Rift currently supports C/C++ ,Python and Ruby languages.Rift features Powerfull Compilers & interpreters and gives you the freedom to work with IDE of your choice. Rift is also supplemented with a powerful testing feature for very large input/output Files and lets you analyse the time complexity of your code. It tests the correctness of the code in accordance with the input...

The Oovcde project has been renamed to OovAide. Downloades from either location work for now. The Oovcde project is a C++ IDE for Windows or Linux with an automated multi-tasking build system, cross compiler support, an analysis tool based on CLang that creates UML class, component, sequence as well as zone and portion diagrams from C++ source, static analysis and test coverage. The diagrams allow navigation through the source code, and can be edited manually and saved as .SVG files. ...

REL (Research and Education Language) is a simple but very powerfull language with a compiler, an interpreter and a verifier.