https://lms.onnocenter.or.id/wiki/index.php?action=history&feed=atom&title=Kumpulan_Aplikasi_Pencari_Vulnerabilities_di_Source_Code 2026-04-15T13:43:57Z Revision history for this page on the wiki MediaWiki 1.45.1 https://lms.onnocenter.or.id/wiki/index.php?title=Kumpulan_Aplikasi_Pencari_Vulnerabilities_di_Source_Code&diff=24179&oldid=prev 2011-01-04T04:54:07Z

<p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 04:54, 4 January 2011</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l24">Line 24:</td> <td colspan="2" class="diff-lineno">Line 24:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Referensi ==</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Referensi ==</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* http://www.tech-faq.com/how-to-find-security-vulnerabilities-in-source-code.html</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* http://www.tech-faq.com/how-to-find-security-vulnerabilities-in-source-code.html</div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">== Pranala Menarik ==</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* [[Beberapa Tip Hacking]]</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* [[Filosofy: Aturan Main Hacker]]</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* [[Keamanan Jaringan]]</ins></div></td></tr> </table>

Adinugroho https://lms.onnocenter.or.id/wiki/index.php?title=Kumpulan_Aplikasi_Pencari_Vulnerabilities_di_Source_Code&diff=24178&oldid=prev 2011-01-04T04:49:09Z

<p><span class="autocomment">Kumpulan Aplikasi Pencari Vulnerabilities di Source Code</span></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 04:49, 4 January 2011</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l3">Line 3:</td> <td colspan="2" class="diff-lineno">Line 3:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* http://www.dwheeler.com/flawfinder <del style="font-weight: bold; text-decoration: none;">aFlawfinder </del>Examines source code and reports possible security vulnerabilities</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* <ins style="font-weight: bold; text-decoration: none;">[</ins>http://www.dwheeler.com/flawfinder <ins style="font-weight: bold; text-decoration: none;">Flawfinder]  </ins>Examines source code and reports possible security vulnerabilities</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* https://www.fortify.com/ssa-elements/threat-intelligence/rats.html RATS from Secure Software Solutions Scans C, C++, PERL, PHP and Python source code for potential security vulnerabilities.</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* <ins style="font-weight: bold; text-decoration: none;">[</ins>https://www.fortify.com/ssa-elements/threat-intelligence/rats.html RATS<ins style="font-weight: bold; text-decoration: none;">]  </ins>from Secure Software Solutions Scans C, C++, PERL, PHP and Python source code for potential security vulnerabilities.</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* http://www.cigital.com/its4/ ITS4 from Cigital <del style="font-weight: bold; text-decoration: none;"> </del>Scans source code looking for potentially vulnerable function calls and preforms source code analysis to determine the level of risk</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* <ins style="font-weight: bold; text-decoration: none;">[</ins>http://www.cigital.com/its4/ ITS4 from Cigital<ins style="font-weight: bold; text-decoration: none;">]  </ins>Scans source code looking for potentially vulnerable function calls and preforms source code analysis to determine the level of risk</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* http://deployingradius.com/pscan/ PScan <del style="font-weight: bold; text-decoration: none;"> </del>A limited problem scanner for C source files</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* <ins style="font-weight: bold; text-decoration: none;">[</ins>http://deployingradius.com/pscan/ PScan<ins style="font-weight: bold; text-decoration: none;">]  </ins>A limited problem scanner for C source files</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* http://www.cs.berkeley.edu/%7Edaw/boon/ BOON <del style="font-weight: bold; text-decoration: none;"> </del>Buffer Overrun detectiON</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* <ins style="font-weight: bold; text-decoration: none;">[</ins>http://www.cs.berkeley.edu/%7Edaw/boon/ BOON<ins style="font-weight: bold; text-decoration: none;">]  </ins>Buffer Overrun detectiON</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* http://www.cs.berkeley.edu/%7Edaw/mops/ MOPS <del style="font-weight: bold; text-decoration: none;"> </del>MOdelchecking Programs for Security properties</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* <ins style="font-weight: bold; text-decoration: none;">[</ins>http://www.cs.berkeley.edu/%7Edaw/mops/ MOPS<ins style="font-weight: bold; text-decoration: none;">]  </ins>MOdelchecking Programs for Security properties</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* http://www.cs.umd.edu/%7Ejfoster/cqual/ Cqual <del style="font-weight: bold; text-decoration: none;"> </del>A tool for adding type qualifiers to C</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* <ins style="font-weight: bold; text-decoration: none;">[</ins>http://www.cs.umd.edu/%7Ejfoster/cqual/ Cqual<ins style="font-weight: bold; text-decoration: none;">]  </ins>A tool for adding type qualifiers to C</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* http://www.stanford.edu/~engler/ MC <del style="font-weight: bold; text-decoration: none;"> </del>Meta-Level Compilation</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* <ins style="font-weight: bold; text-decoration: none;">[</ins>http://www.stanford.edu/~engler/ MC<ins style="font-weight: bold; text-decoration: none;">]  </ins>Meta-Level Compilation</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* http://www.research.microsoft.com/slam/ SLAM <del style="font-weight: bold; text-decoration: none;"> </del>Microsoft</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* <ins style="font-weight: bold; text-decoration: none;">[</ins>http://www.research.microsoft.com/slam/ SLAM<ins style="font-weight: bold; text-decoration: none;">]  </ins>Microsoft</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* http://secure.ucd.ie/products/opensource/ESCJava2/ ESC/Java2 Extended Static Checking for Java version 2</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* <ins style="font-weight: bold; text-decoration: none;">[</ins>http://secure.ucd.ie/products/opensource/ESCJava2/ ESC/Java2<ins style="font-weight: bold; text-decoration: none;">] </ins>Extended Static Checking for Java version 2</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* http://splint.org/ Splint <del style="font-weight: bold; text-decoration: none;"> </del>Secure Programming Lint</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* <ins style="font-weight: bold; text-decoration: none;">[</ins>http://splint.org/ Splint<ins style="font-weight: bold; text-decoration: none;">]  </ins>Secure Programming Lint</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* http://www.fmi.uni-stuttgart.de/szs/tools/moped/ MOPED <del style="font-weight: bold; text-decoration: none;"> </del>A Model-Checker for Pushdown Systems</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* <ins style="font-weight: bold; text-decoration: none;">[</ins>http://www.fmi.uni-stuttgart.de/szs/tools/moped/ MOPED<ins style="font-weight: bold; text-decoration: none;">]  </ins>A Model-Checker for Pushdown Systems</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* http://www.sics.se/fdt/projects/vericode/jcave.html JCAVE JavaCard Applet Verification Environment</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* <ins style="font-weight: bold; text-decoration: none;">[</ins>http://www.sics.se/fdt/projects/vericode/jcave.html JCAVE<ins style="font-weight: bold; text-decoration: none;">] </ins>JavaCard Applet Verification Environment</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* http://boop.sourceforge.net/ The Boop Toolkit <del style="font-weight: bold; text-decoration: none;"> </del>Utilizes abstraction and refinement to determine the reachability of program points in a C program</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* <ins style="font-weight: bold; text-decoration: none;">[</ins>http://boop.sourceforge.net/ The Boop Toolkit<ins style="font-weight: bold; text-decoration: none;">]  </ins>Utilizes abstraction and refinement to determine the reachability of program points in a C program</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* http://www-cad.eecs.berkeley.edu/%7Erupak/blast/ Blast Berkeley Lazy Abstraction Software Verification Tool</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* <ins style="font-weight: bold; text-decoration: none;">[</ins>http://www-cad.eecs.berkeley.edu/%7Erupak/blast/ Blast<ins style="font-weight: bold; text-decoration: none;">] </ins>Berkeley Lazy Abstraction Software Verification Tool</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* http://cm.bell-labs.com/cm/cs/what/uno/ Uno <del style="font-weight: bold; text-decoration: none;"> </del>Simple tool for source code analysis</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* <ins style="font-weight: bold; text-decoration: none;">[</ins>http://cm.bell-labs.com/cm/cs/what/uno/ Uno<ins style="font-weight: bold; text-decoration: none;">]  </ins>Simple tool for source code analysis</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* http://pmd.sourceforge.net/ PMD <del style="font-weight: bold; text-decoration: none;"> </del>Scans Java source code and looks for potential problems</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* <ins style="font-weight: bold; text-decoration: none;">[</ins>http://pmd.sourceforge.net/ PMD<ins style="font-weight: bold; text-decoration: none;">]  </ins>Scans Java source code and looks for potential problems</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* http://www.parasoft.com/jsp/products/home.jsp?product=CppTest&amp;itemId=40 C++ Test <del style="font-weight: bold; text-decoration: none;"> </del>Unit testing and static analysis tool</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* <ins style="font-weight: bold; text-decoration: none;">[</ins>http://www.parasoft.com/jsp/products/home.jsp?product=CppTest&amp;itemId=40 C++ Test<ins style="font-weight: bold; text-decoration: none;">]  </ins>Unit testing and static analysis tool</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Referensi ==</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Referensi ==</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* http://www.tech-faq.com/how-to-find-security-vulnerabilities-in-source-code.html</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* http://www.tech-faq.com/how-to-find-security-vulnerabilities-in-source-code.html</div></td></tr> </table>

Adinugroho https://lms.onnocenter.or.id/wiki/index.php?title=Kumpulan_Aplikasi_Pencari_Vulnerabilities_di_Source_Code&diff=24177&oldid=prev 2011-01-04T04:46:33Z

<p>New page: Di bawah ini adalah kumpulan aplikasi yang digunakan untuk mencari vulnerabilities pada source code. Pastikan source code anda aman sebelum digunakan / dipublish ke internet. == Kumpulan A...</p> <p><b>New page</b></p><div>Di bawah ini adalah kumpulan aplikasi yang digunakan untuk mencari vulnerabilities pada source code. Pastikan source code anda aman sebelum digunakan / dipublish ke internet.<br /> == Kumpulan Aplikasi Pencari Vulnerabilities di Source Code ==<br /> <br /> <br /> * http://www.dwheeler.com/flawfinder aFlawfinder Examines source code and reports possible security vulnerabilities<br /> * https://www.fortify.com/ssa-elements/threat-intelligence/rats.html RATS from Secure Software Solutions Scans C, C++, PERL, PHP and Python source code for potential security vulnerabilities.<br /> * http://www.cigital.com/its4/ ITS4 from Cigital Scans source code looking for potentially vulnerable function calls and preforms source code analysis to determine the level of risk<br /> * http://deployingradius.com/pscan/ PScan A limited problem scanner for C source files<br /> * http://www.cs.berkeley.edu/%7Edaw/boon/ BOON Buffer Overrun detectiON<br /> * http://www.cs.berkeley.edu/%7Edaw/mops/ MOPS MOdelchecking Programs for Security properties<br /> * http://www.cs.umd.edu/%7Ejfoster/cqual/ Cqual A tool for adding type qualifiers to C<br /> * http://www.stanford.edu/~engler/ MC Meta-Level Compilation<br /> * http://www.research.microsoft.com/slam/ SLAM Microsoft<br /> * http://secure.ucd.ie/products/opensource/ESCJava2/ ESC/Java2 Extended Static Checking for Java version 2<br /> * http://splint.org/ Splint Secure Programming Lint<br /> * http://www.fmi.uni-stuttgart.de/szs/tools/moped/ MOPED A Model-Checker for Pushdown Systems<br /> * http://www.sics.se/fdt/projects/vericode/jcave.html JCAVE JavaCard Applet Verification Environment<br /> * http://boop.sourceforge.net/ The Boop Toolkit Utilizes abstraction and refinement to determine the reachability of program points in a C program<br /> * http://www-cad.eecs.berkeley.edu/%7Erupak/blast/ Blast Berkeley Lazy Abstraction Software Verification Tool<br /> * http://cm.bell-labs.com/cm/cs/what/uno/ Uno Simple tool for source code analysis<br /> * http://pmd.sourceforge.net/ PMD Scans Java source code and looks for potential problems<br /> * http://www.parasoft.com/jsp/products/home.jsp?product=CppTest&amp;itemId=40 C++ Test Unit testing and static analysis tool<br /> <br /> == Referensi ==<br /> * http://www.tech-faq.com/how-to-find-security-vulnerabilities-in-source-code.html</div>

Adinugroho