202 lines
7 KiB
HTML
202 lines
7 KiB
HTML
<html>
|
|
<head>
|
|
<title>FindBugs Optional System Properties</title>
|
|
<link rel="stylesheet" type="text/css" href="findbugs.css">
|
|
</head>
|
|
<body>
|
|
|
|
<table width="100%"><tr>
|
|
|
|
|
|
<td bgcolor="#b9b9fe" valign="top" align="left" width="20%">
|
|
<table width="100%" cellspacing="0" border="0">
|
|
<tr><td><a class="sidebar" href="index.html"><img src="umdFindbugs.png" alt="FindBugs"></a></td></tr>
|
|
|
|
<tr><td> </td></tr>
|
|
|
|
<tr><td><b>Docs and Info</b></td></tr>
|
|
<tr><td><font size="-1"><a class="sidebar" href="findbugs2.html">FindBugs 2.0</a></font></td></tr>
|
|
<tr><td><font size="-1"><a class="sidebar" href="demo.html">Demo and data</a></font></td></tr>
|
|
<tr><td><font size="-1"><a class="sidebar" href="users.html">Users and supporters</a></font></td></tr>
|
|
<tr><td><font size="-1"><a class="sidebar" href="http://findbugs.blogspot.com/">FindBugs blog</a></font></td></tr>
|
|
<tr><td><font size="-1"><a class="sidebar" href="factSheet.html">Fact sheet</a></font></td></tr>
|
|
<tr><td><font size="-1"><a class="sidebar" href="manual/index.html">Manual</a></font></td></tr>
|
|
<tr><td><font size="-1"><a class="sidebar" href="ja/manual/index.html">Manual(ja/日本語)</a></font></td></tr>
|
|
<tr><td><font size="-1"><a class="sidebar" href="FAQ.html">FAQ</a></font></td></tr>
|
|
<tr><td><font size="-1"><a class="sidebar" href="bugDescriptions.html">Bug descriptions</a></font></td></tr>
|
|
<tr><td><font size="-1"><a class="sidebar" href="mailingLists.html">Mailing lists</a></font></td></tr>
|
|
<tr><td><font size="-1"><a class="sidebar" href="publications.html">Documents and Publications</a></font></td></tr>
|
|
<tr><td><font size="-1"><a class="sidebar" href="links.html">Links</a></font></td></tr>
|
|
|
|
<tr><td> </td></tr>
|
|
|
|
<tr><td><a class="sidebar" href="downloads.html"><b>Downloads</b></a></td></tr>
|
|
|
|
<tr><td> </td></tr>
|
|
|
|
<tr><td><a class="sidebar" href="http://www.cafeshops.com/findbugs"><b>FindBugs Swag</b></a></td></tr>
|
|
|
|
<tr><td> </td></tr>
|
|
|
|
<tr><td><b>Development</b></td></tr>
|
|
<tr><td><font size="-1"><a class="sidebar" href="http://sourceforge.net/tracker/?group_id=96405">Open bugs</a></font></td></tr>
|
|
<tr><td><font size="-1"><a class="sidebar" href="reportingBugs.html">Reporting bugs</a></font></td></tr>
|
|
<tr><td><font size="-1"><a class="sidebar" href="contributing.html">Contributing</a></font></td></tr>
|
|
<tr><td><font size="-1"><a class="sidebar" href="team.html">Dev team</a></font></td></tr>
|
|
<tr><td><font size="-1"><a class="sidebar" href="api/index.html">API</a> <a class="sidebar" href="api/overview-summary.html">[no frames]</a></font></td></tr>
|
|
<tr><td><font size="-1"><a class="sidebar" href="Changes.html">Change log</a></font></td></tr>
|
|
<tr><td><font size="-1"><a class="sidebar" href="http://sourceforge.net/projects/findbugs">SF project page</a></font></td></tr>
|
|
<tr><td><font size="-1"><a class="sidebar" href="http://code.google.com/p/findbugs/source/browse/">Browse source</a></font></td></tr>
|
|
<tr><td><font size="-1"><a class="sidebar" href="http://code.google.com/p/findbugs/source/list">Latest code changes</a></font></td></tr>
|
|
</table>
|
|
</td>
|
|
|
|
<td align="left" valign="top">
|
|
|
|
<h1>FindBugs Optional System Properties</h1>
|
|
|
|
<p> These system properties can be added to the command line to alter the way
|
|
findbugs works. These options should be considered experimental. The description
|
|
gives information if the field is set to true.
|
|
</p>
|
|
|
|
<table width="100%" border="1">
|
|
<tr bgColor="#F0F0F0"><th>System Property</th><th>Description</th></tr>
|
|
|
|
<tr>
|
|
<td>findbugs.assertionmethods</td>
|
|
<td>methods supplied by user that have assertions</td>
|
|
</tr>
|
|
<tr>
|
|
<td>findbugs.checkreturn.loadtraining
|
|
<br/>findbugs.checkreturn.savetraining</td>
|
|
<td>file name to read/write list of methods whose return values must be checked</td>
|
|
</tr>
|
|
<tr>
|
|
<td>findbugs.de.comment</td>
|
|
<td>Don't report empty catch blocks if a source comment is found in the block.</td>
|
|
</tr>
|
|
<tr>
|
|
<td>findbugs.dls.exclusions</td>
|
|
<td>local variables that will be excluded from Dead Local Store</td>
|
|
</tr>
|
|
<tr>
|
|
<td>findbugs.fis.unsyncFactor</td>
|
|
<td>Default value is 2.0, which means that we report a bug if more than 1/3 of accesses are unsynchronized.</td>
|
|
</tr>
|
|
<tr>
|
|
<td>findbugs.fis.writeBias</td>
|
|
<td>Default value is 2.0. The idea is that this should be above 1.0, because unsynchronized writes are more dangerous than unsynchronized reads.</td>
|
|
</tr>
|
|
<tr>
|
|
<td>fundbugs.gui.bugCount</td>
|
|
<td>?</td>
|
|
</tr>
|
|
<tr>
|
|
<td>findbugs.maskedfields.locals</td>
|
|
<td>Report on local variables that mask fields.</td>
|
|
</tr>
|
|
<tr>
|
|
<td>findbugs.nullderef.assumensp</td>
|
|
<td>sets value for IsNullValueAnalysisFeatures.UNKNOWN_VALUES_ARE_NSP, but is not used by FindBugs</td>
|
|
</tr>
|
|
<tr>
|
|
<td>findbugs.refcomp.reportAll</td>
|
|
<td>?</td>
|
|
</tr>
|
|
<tr>
|
|
<td>findbugs.report.SummaryHTML</td>
|
|
<td>emit SummaryHTML element</td>
|
|
</tr>
|
|
<tr>
|
|
<td>findbugs.sf.comment</td>
|
|
<td>Ignore switch fall thru bugs if a comment is found with 'fall' or 'nobreak'
|
|
</tr>
|
|
<tr>
|
|
<td>ba.checkAssertions</td>
|
|
<td>throw excptions on certain illegal class type signatures</td>
|
|
</tr>
|
|
<tr>
|
|
<td>ba.verifyIntegrity</td>
|
|
<td>enable data structure integrity checks</td>
|
|
</tr>
|
|
<tr>
|
|
<td>BCPMethodReturnCheck.java</td>
|
|
<td>Add methods to the list requiring a check. (format: "class:method:sig|...")</td>
|
|
</tr>
|
|
<tr>
|
|
<td>dataflow.stackonly</td>
|
|
<td>?</td>
|
|
</tr>
|
|
<tr>
|
|
<td>fis.eval</td>
|
|
<td>?</td>
|
|
</tr>
|
|
<tr>
|
|
<td>fis.noAdjustSubclass</td>
|
|
<td>Adjust field so its class name is the same as the type of reference it is accessed through.</td>
|
|
</tr>
|
|
<tr>
|
|
<td>fos.allowWUS</td>
|
|
<td>Ignore wrapping streams that are wrapping uninteresting streams (like in memory streams).</td>
|
|
</tr>
|
|
<tr>
|
|
<td>ic.createInstance</td>
|
|
<td>?</td>
|
|
</tr>
|
|
<tr>
|
|
<td>inva.ncpExtraBranch</td>
|
|
<td>?</td>
|
|
</tr>
|
|
<tr>
|
|
<td>inva.noAssertHack</td>
|
|
<td>?</td>
|
|
</tr>
|
|
<tr>
|
|
<td>inva.noSplitDowngradeNSP</td>
|
|
<td>?</td>
|
|
</tr>
|
|
<tr>
|
|
<td>inva.noSwitchDefaultAsException</td>
|
|
<td>Don't consider switch default cases as exception paths.</td>
|
|
</tr>
|
|
<tr>
|
|
<td>lineNumberBug</td>
|
|
<td>Disable the workaround for the bug in BCEL 5.0's LineNumberTable class.</td>
|
|
</tr>
|
|
<tr>
|
|
<td>ma.ugly</td>
|
|
<td>Report method signature with method class and name.</td>
|
|
</tr>
|
|
<tr>
|
|
<td>mrc.checkall</td>
|
|
<td>Check for 1.5-specific method return values being ignored even if runtime Java predates 1.5.</td>
|
|
</tr>
|
|
<tr>
|
|
<td>ta.accurateExceptions</td>
|
|
<td>?</td>
|
|
</tr>
|
|
<tr>
|
|
<td>vna.noRLE</td>
|
|
<td>Perform redundant load elimination and forward substitution (but not in a correctness-preserving way).</td>
|
|
</tr>
|
|
|
|
</table>
|
|
|
|
|
|
<hr> <p>
|
|
<script language="JavaScript" type="text/javascript">
|
|
<!---//hide script from old browsers
|
|
document.write( "Last updated "+ document.lastModified + "." );
|
|
//end hiding contents --->
|
|
</script>
|
|
<p> Send comments to <a class="sidebar" href="mailto:findbugs@cs.umd.edu">findbugs@cs.umd.edu</a>
|
|
<p>
|
|
<A href="http://sourceforge.net"><IMG src="http://sourceforge.net/sflogo.php?group_id=96405&type=5" width="210" height="62" border="0" alt="SourceForge.net Logo" /></A>
|
|
|
|
</td>
|
|
|
|
</tr></table>
|
|
|
|
</body>
|
|
</html>
|