Definitions
Sorry, no definitions found. You may find more data at codepeer.
Etymologies
Sorry, no etymologies found.
Support
Help support Wordnik (and make this page ad-free) by adopting the word Codepeer.
Examples
-
Codepeer can be used as a standalone tool or fully integrated into the GNAT Pro Ada development environment.
-
If the implicit specification deduced by Codepeer does not match the component's requirements, a reviewer is alerted immediately to a likely logic error.
-
Gnat Pro 6.3 works with a number of complementary tools, sold separately, including the Codepeer automated code review and validation tool.
-
Codepeer analyses programs for a range of flaws, including use of uninitialised data, pointer misuse, buffer overflow, numeric overflow, division by zero, dead code and concurrency faults.
-
Codepeer analyses programs for a range of flaws, including use of uninitialised data, pointer misuse, buffer overflow, numeric overflow, division by zero, dead code and concurrency faults.
-
Gnat Pro 6.3 works with a number of complementary tools, sold separately, including the Codepeer automated code review and validation tool.
-
Gnat Pro 6.3 works with a number of complementary tools, sold separately, including the Codepeer automated code review and validation tool.
-
Gnat Pro 6.3 works with a number of complementary tools, sold separately, including the Codepeer automated code review and validation tool.
-
Gnat Pro 6.3 works with a number of complementary tools, sold separately, including the Codepeer automated code review and validation tool.
-
Internally, Codepeer uses static control-flow, data-flow and value-propagation techniques to identify possible errors.
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.