21 citations · 21 across the 4 of their papers we have counts for
4 papers
Static Analysis Deployment Pitfalls
Flash Sheridan
Organizational, political, and configuration mistakes in the deployment of a static source code analysis tool within a software development organization can result in most of the v…
Deploying Static Analysis
Flash Sheridan
Static source code analysis is a powerful tool for finding and fixing bugs when deployed properly; it is, however, all too easy to deploy it in a way that looks good superficially,…
Practical Testing of a C99 Compiler Using Output Comparison
Flash Sheridan
A simple technique is presented for testing a C99 compiler, by comparison of its output with output from preexisting tools. The advantage to this approach is that new test cases ca…
A Closer Look at the Russell Paradox
Flash Sheridan
Two types of approximation to the paradoxical Russell Set are presented, one approximating it from below, one from above. It is shown that any lower approximation gives rise to a b…