Results 601–610 of 5,623 for /devel/.(0.003 seconds)
Free Pascal package manager unit
FreeVision is a Free Pascal unit for Delphi support
Free Pascal unit providing interface to gdb
Free Pascal interface to newt library
Free Pascal wrapper for the pthreads library
Free Pascal regular expression routines
Free Pascal interface to SDL library
FreePascal unit for simple expression parsing and evaluating
Free Pascal interface to the zlib compression library
Extensible platform for source-code analysis of C
Frama-C is a suite of tools dedicated to the analysis of the source code of
software written in C.
Frama-C gathers several static analysis techniques in a single collaborative
framework, which allows static analyzers to build upon the results already
computed by other analyzers in the framework, and provides sophisticated
tools, such as a slicer and dependency analysis.
Frama-C is closer to heuristic bug-finding tools than it is to software metrics
tools, but it has two important differences with the former: it aims at being
"correct" -- that is, never to remain silent for a location in the source
code where an error can happen at run-time. And it allows its user to
manipulate functional specifications, and to prove that the source code
satisfies these specifications.