Advertisement
Front, Kernel, Security, Distributions, Development. See your byline here on LWN.net.
Weekly Edition
Return to the Security page
| |||||||||||||
|
| |||||||||||||
MOPS, a code auditing tool
jose nazario has pointed us to the announcement of MOPS, a code auditing tool. "I wanted to announce a first prototype release of MOPS, a tool designed
to help find security bugs in C programs and verify their absence.
MOPS lets you statically (at compile time) verify facts about the ordering
of security-critical operations in the program."
(Log in to post comments)
|
|
||||||||||||