Search Results for "java security for linux"

Doxygen is a JavaDoc like documentation system for C++, C, Java and IDL.

... security researchers in writing buffer overflows, input validation vulnerabilities, as well as helping one audit code for general logic mistakes.

ParTools allows the interactive analysis of a C program execution profile and data dependencies to facilitate the discovery and selection of suitable parallelization candidates in a manual parallelization process. The flow does not assume any specific parallelization technique, thus it can be broadly applied. The original (serial) C source is automatically annotated to trace the execution profile and data dependencies at run-time. The annotated program is then executed using a...

LuziensEditor ist eine kleine IDE für Java, C/C++, und Webentwicklung mit einigen Besonderheiten. - Direkter Zugriff auf XAMPP - Eigene Konsole - Syntax highligts - Eigene Versionsverwaltung - Programme als Debian Paket verpacken - ...

Source Navigator NG is a source code analysis tool. With it, you can edit your source code, display relationships between classes and functions and members, and display call trees. You can navigate your source code and easily get to declarations or implementations of functions, variables and macros (commonly called "symbols") which helps you discovering and mapping unknown source code for enhancement or maintenance tasks.

DEEEP is a open source static analysis tool to detect, in C programs, integer vulnerabilities caused by the bad adaption of aplications from ILP32 to LP64. It uses the tools Lint and Splint, and runs over Open Solaris and Linux operating systems. This tool semantically analyses source code. More precisely, it does type checking, data-flow analysis, and it automatically correlates the results of these two types of analysis. Type checking is used for finding bugs on the way integers...

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