Search Results for "lint"

Naughty Keyboard is a tool for testers and developers. One shortcut types the next awkward value into the field in front of you: null, a trailing space, a zero-width space, 30.02.2026, =1+1, a name of 65 535 characters. They are the values real users and real data produce, and a form you only ever tried with "John Smith" has never met them. Every value comes with what it usually breaks and what a correct application does instead. When one of them breaks something, one more shortcut copies...

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 are handled, and data-flow analysis is used to see if hazardous functions (eg. memcpy, strcpy) are accessible from outside the program. ...