http://dbpedia.org/ontology/abstract
|
Diese Liste von Werkzeugen zur statischen … Diese Liste von Werkzeugen zur statischen Codeanalyse enthält Werkzeuge, mit deren Hilfe man Statische Code-Analyse betreiben kann. Derartige Werkzeuge können meist nicht nur allein stehend laufen, sondern auch integriert in die Entwicklungsumgebung bzw. in den Build Server. Sie beschränken sich nicht nur auf Kodierungsregeln wie beispielsweise die MISRA-C-Regeln, sondern erkennen auch funktionale und technische Fehler, potentielle Fehler sowie auch qualitative Schwachstellen im Code (sogenannte Code-Smells), wie zum Beispiel duplizierten Code (auch Software-Klone genannt).Einige Werkzeuge können den Code auch auf sicherheitsrelevante Programmierfehler wie zum Beispiel Pufferüberläufe oder Wettlaufsituationen prüfen.Weiters gibt es noch Werkzeuge, die auch Architekturmetriken und die Konformität des Codes mit der Architekturspezifikation prüfen. Diese Liste ist nach Programmiersprachen aufgeteilt, beginnend mit Werkzeugen, welche mehrere Programmiersprachen unterstützen bzw. unabhängig von Programmiersprachen sind. Diese Werkzeuge werden nicht noch einmal bei den unterstützten Werkzeugen aufgeführt.i den unterstützten Werkzeugen aufgeführt.
, This is a list of notable tools for static program analysis (program analysis is a synonym for code analysis).
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
http://samate.nist.gov/index.php/Source_Code_Security_Analyzers.html +
, http://projects.webappsec.org/w/page/61622133/StaticCodeAnalysisList +
, https://github.com/julia-vscode/StaticLint.jl +
, http://www.cs.umd.edu/~jfoster/papers/issre04.pdf +
, https://github.com/aviatesk/JET.jl +
, http://samate.nist.gov/SATE.html +
, http://www.oreillynet.com/digitalmedia/blog/2004/03/minireview_of_java_bug_finders.html +
|
http://dbpedia.org/ontology/wikiPageID
|
9073051
|
http://dbpedia.org/ontology/wikiPageLength
|
39598
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1122291683
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Axivion_Bauhaus_Suite +
, http://dbpedia.org/resource/Formal_methods +
, http://dbpedia.org/resource/StyleCop +
, http://dbpedia.org/resource/IntelliJ_IDEA +
, http://dbpedia.org/resource/Opa_%28programming_language%29 +
, http://dbpedia.org/resource/Clang +
, http://dbpedia.org/resource/Source_code +
, http://dbpedia.org/resource/ECLAIR +
, http://dbpedia.org/resource/Astr%C3%A9e_%28static_analysis%29 +
, http://dbpedia.org/resource/Software_documentation +
, http://dbpedia.org/resource/PL/SQL +
, http://dbpedia.org/resource/Polyspace +
, http://dbpedia.org/resource/LDRA_Testbed +
, http://dbpedia.org/resource/Xcode +
, http://dbpedia.org/resource/Eclipse_Public_License +
, http://dbpedia.org/resource/Cppcheck +
, http://dbpedia.org/resource/Fortran +
, http://dbpedia.org/resource/C_%28programming_language%29 +
, http://dbpedia.org/resource/Assertion_%28computing%29 +
, http://dbpedia.org/resource/SQuORE +
, http://dbpedia.org/resource/Understand_%28software%29 +
, http://dbpedia.org/resource/C%2B%2B +
, http://dbpedia.org/resource/ESLint +
, http://dbpedia.org/resource/Package_management_system +
, http://dbpedia.org/resource/Race_condition +
, http://dbpedia.org/resource/Sotoarc +
, http://dbpedia.org/resource/Visual_Expert +
, http://dbpedia.org/resource/Unit_test +
, http://dbpedia.org/resource/Comparison_of_integrated_development_environments +
, http://dbpedia.org/resource/MALPAS_Software_Static_Analysis_Toolset +
, http://dbpedia.org/resource/Visual_Studio_Code +
, http://dbpedia.org/resource/Visual_Studio +
, http://dbpedia.org/resource/Microsoft +
, http://dbpedia.org/resource/Shared_Source_Initiative +
, http://dbpedia.org/resource/Jakarta_Project +
, http://dbpedia.org/resource/Change_impact_analysis +
, http://dbpedia.org/resource/Q_Public_License +
, http://dbpedia.org/resource/Security_AppScan +
, http://dbpedia.org/resource/ConQAT +
, http://dbpedia.org/resource/Automated_code_review +
, http://dbpedia.org/resource/Prettyprint +
, http://dbpedia.org/resource/ANSI/ISO_C_Specification_Language +
, http://dbpedia.org/resource/Objective-C +
, http://dbpedia.org/resource/PerlTidy +
, http://dbpedia.org/resource/Graph_%28discrete_mathematics%29 +
, http://dbpedia.org/resource/SourceMeter +
, http://dbpedia.org/resource/IEC_61131-3 +
, http://dbpedia.org/resource/AdaControl +
, http://dbpedia.org/resource/CODESYS +
, http://dbpedia.org/resource/Software_metric +
, http://dbpedia.org/resource/FxCop +
, http://dbpedia.org/resource/Sourcetrail +
, http://dbpedia.org/resource/Apache_License +
, http://dbpedia.org/resource/Padre_%28software%29 +
, http://dbpedia.org/resource/Apache_Yetus +
, http://dbpedia.org/resource/JSHint +
, http://dbpedia.org/resource/Category:Lists_of_software +
, http://dbpedia.org/resource/JSLint +
, http://dbpedia.org/resource/Java_Class_Library +
, http://dbpedia.org/resource/Sparse +
, http://dbpedia.org/resource/Moose_%28analysis%29 +
, http://dbpedia.org/resource/Coccinelle_%28software%29 +
, http://dbpedia.org/resource/Programming_language +
, http://dbpedia.org/resource/JavaScript +
, http://dbpedia.org/resource/CodeRush +
, http://dbpedia.org/resource/Perl::Critic +
, http://dbpedia.org/resource/CodePeer +
, http://dbpedia.org/resource/Code_Dx +
, http://dbpedia.org/resource/JSON +
, http://dbpedia.org/resource/RPM_Package_Manager +
, http://dbpedia.org/resource/Model_checking +
, http://dbpedia.org/resource/CodeScene +
, http://dbpedia.org/resource/Integrated_development_environment +
, http://dbpedia.org/resource/Create%2C_read%2C_update_and_delete +
, http://dbpedia.org/resource/List_of_software_development_philosophies +
, http://dbpedia.org/resource/Checkstyle +
, http://dbpedia.org/resource/Category:Static_program_analysis_tools +
, http://dbpedia.org/resource/ISO_26262 +
, http://dbpedia.org/resource/O%27Reilly_Media +
, http://dbpedia.org/resource/Code_smell +
, http://dbpedia.org/resource/Redundant_code +
, http://dbpedia.org/resource/Minification_%28programming%29 +
, http://dbpedia.org/resource/Apache_Groovy +
, http://dbpedia.org/resource/NDepend +
, http://dbpedia.org/resource/Microsoft_Visual_Studio +
, http://dbpedia.org/resource/Dynamic_program_analysis +
, http://dbpedia.org/resource/SofCheck_Inspector +
, http://dbpedia.org/resource/Lint_%28software%29 +
, http://dbpedia.org/resource/BSD_license +
, http://dbpedia.org/resource/Squale +
, http://dbpedia.org/resource/Permissive_license +
, http://dbpedia.org/resource/Run_time_%28program_lifecycle_phase%29 +
, http://dbpedia.org/resource/Standard_Template_Library +
, http://dbpedia.org/resource/Copy/Paste_Detector +
, http://dbpedia.org/resource/University_of_Maryland%2C_College_Park +
, http://dbpedia.org/resource/Cross-site_scripting +
, http://dbpedia.org/resource/Microsoft_Research +
, http://dbpedia.org/resource/GNU_General_Public_License +
, http://dbpedia.org/resource/JArchitect +
, http://dbpedia.org/resource/Cppdepend +
, http://dbpedia.org/resource/Coverity +
, http://dbpedia.org/resource/COBOL +
, http://dbpedia.org/resource/Parasoft +
, http://dbpedia.org/resource/Regular_algebra +
, http://dbpedia.org/resource/Perl +
, http://dbpedia.org/resource/Constraint_satisfaction +
, http://dbpedia.org/resource/Fluctuat +
, http://dbpedia.org/resource/Julia_%28programming_language%29 +
, http://dbpedia.org/resource/PC-Lint +
, http://dbpedia.org/resource/Dynamic_application_security_testing +
, http://dbpedia.org/resource/Runtime_verification +
, http://dbpedia.org/resource/C%2B%2B/CLI +
, http://dbpedia.org/resource/.NET_Compiler_Platform +
, http://dbpedia.org/resource/PMD_%28software%29 +
, http://dbpedia.org/resource/SpotBugs +
, http://dbpedia.org/resource/JavaServer_Pages +
, http://dbpedia.org/resource/Static_program_analysis +
, http://dbpedia.org/resource/PyCharm +
, http://dbpedia.org/resource/Eclipse_%28software%29 +
, http://dbpedia.org/resource/Byte_Code_Engineering_Library +
, http://dbpedia.org/resource/Predicate_transformer_semantics +
, http://dbpedia.org/resource/Damian_Conway +
, http://dbpedia.org/resource/MSBuild +
, http://dbpedia.org/resource/Runtime_errors +
, http://dbpedia.org/resource/ThreadSafe +
, http://dbpedia.org/resource/Kiuwan +
, http://dbpedia.org/resource/PyDev +
, http://dbpedia.org/resource/Static_application_security_testing +
, http://dbpedia.org/resource/Google_Closure_Tools +
, http://dbpedia.org/resource/Creative_Commons_license +
, http://dbpedia.org/resource/Imagix_4D +
, http://dbpedia.org/resource/Yasca +
, http://dbpedia.org/resource/Soundness +
, http://dbpedia.org/resource/Comparison_of_file_comparison_tools +
, http://dbpedia.org/resource/Android_%28operating_system%29 +
, http://dbpedia.org/resource/Call_graph +
, http://dbpedia.org/resource/ColdFusion +
, http://dbpedia.org/resource/Jtest +
, http://dbpedia.org/resource/Splint_%28programming_tool%29 +
, http://dbpedia.org/resource/BSD_licenses +
, http://dbpedia.org/resource/Proof_assistant +
, http://dbpedia.org/resource/PVS-Studio +
, http://dbpedia.org/resource/Software_inspection +
, http://dbpedia.org/resource/Pylint +
, http://dbpedia.org/resource/CPAchecker +
, http://dbpedia.org/resource/Transact-SQL +
, http://dbpedia.org/resource/Motor_Industry_Software_Reliability_Association +
, http://dbpedia.org/resource/Frama-C +
, http://dbpedia.org/resource/ESC/Java +
, http://dbpedia.org/resource/Linux +
, http://dbpedia.org/resource/SLAM_project +
, http://dbpedia.org/resource/FindBugs +
, http://dbpedia.org/resource/Ada_%28programming_language%29 +
, http://dbpedia.org/resource/MIT_License +
, http://dbpedia.org/resource/Sider_%28Automated_Code_Review%29 +
, http://dbpedia.org/resource/PowerBuilder +
, http://dbpedia.org/resource/Soot_%28software%29 +
, http://dbpedia.org/resource/C%2B%2B/CX +
, http://dbpedia.org/resource/KeY +
, http://dbpedia.org/resource/SPARK_Examiner +
, http://dbpedia.org/resource/Java_%28programming_language%29 +
, http://dbpedia.org/resource/Precondition +
, http://dbpedia.org/resource/Free_software +
, http://dbpedia.org/resource/SonarQube +
, http://dbpedia.org/resource/Java_Modeling_Language +
, http://dbpedia.org/resource/Duplicate_code +
, http://dbpedia.org/resource/Syntax_checker +
, http://dbpedia.org/resource/Postcondition +
, http://dbpedia.org/resource/C_Sharp_%28programming_language%29 +
, http://dbpedia.org/resource/Helix_QAC +
, http://dbpedia.org/resource/Semgrep +
, http://dbpedia.org/resource/Infer_Static_Analyzer +
, http://dbpedia.org/resource/Coding_best_practices +
, http://dbpedia.org/resource/Cpplint +
, http://dbpedia.org/resource/Visual_Basic_.NET +
, http://dbpedia.org/resource/Pretty_Diff +
, http://dbpedia.org/resource/Lintian +
, http://dbpedia.org/resource/ESC/Java2 +
, http://dbpedia.org/resource/Parasoft_C/C%2B%2Btest +
, http://dbpedia.org/resource/.NET_Framework +
, http://dbpedia.org/resource/Python_%28programming_language%29 +
, http://dbpedia.org/resource/RIPS +
, http://dbpedia.org/resource/BLAST_model_checker +
, http://dbpedia.org/resource/CodeQL +
, http://dbpedia.org/resource/SPARK_Toolset +
, http://dbpedia.org/resource/Embedded_C_Coding_Standard +
, http://dbpedia.org/resource/GrammaTech +
, http://dbpedia.org/resource/TOAD +
, http://dbpedia.org/resource/Klocwork +
, http://dbpedia.org/resource/BSD_License +
, http://dbpedia.org/resource/Abstract_interpretation +
, http://dbpedia.org/resource/GNU_Lesser_General_Public_License +
, http://dbpedia.org/resource/Perl_Best_Practices +
, http://dbpedia.org/resource/CodeSonar +
, http://dbpedia.org/resource/TypeScript +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Curlie +
, http://dbpedia.org/resource/Template:Pslink +
, http://dbpedia.org/resource/Template:Snd +
, http://dbpedia.org/resource/Template:Broader +
, http://dbpedia.org/resource/Template:Wikidata +
, http://dbpedia.org/resource/Template:Hatnote +
, http://dbpedia.org/resource/Template:Yes +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Partial +
, http://dbpedia.org/resource/Template:Sdash +
, http://dbpedia.org/resource/Template:No +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Lists_of_software +
, http://dbpedia.org/resource/Category:Static_program_analysis_tools +
|
http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/List +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis?oldid=1122291683&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis +
|
owl:sameAs |
http://ja.dbpedia.org/resource/%E9%9D%99%E7%9A%84%E3%82%B3%E3%83%BC%E3%83%89%E8%A7%A3%E6%9E%90%E3%83%84%E3%83%BC%E3%83%AB%E4%B8%80%E8%A6%A7 +
, http://www.wikidata.org/entity/Q6643419 +
, https://global.dbpedia.org/id/4qmxY +
, http://de.dbpedia.org/resource/Liste_von_Werkzeugen_zur_statischen_Codeanalyse +
, http://dbpedia.org/resource/List_of_tools_for_static_code_analysis +
|
rdfs:comment |
Diese Liste von Werkzeugen zur statischen … Diese Liste von Werkzeugen zur statischen Codeanalyse enthält Werkzeuge, mit deren Hilfe man Statische Code-Analyse betreiben kann. Derartige Werkzeuge können meist nicht nur allein stehend laufen, sondern auch integriert in die Entwicklungsumgebung bzw. in den Build Server. Sie beschränken sich nicht nur auf Kodierungsregeln wie beispielsweise die MISRA-C-Regeln, sondern erkennen auch funktionale und technische Fehler, potentielle Fehler sowie auch qualitative Schwachstellen im Code (sogenannte Code-Smells), wie zum Beispiel duplizierten Code (auch Software-Klone genannt).Einige Werkzeuge können den Code auch auf sicherheitsrelevante Programmierfehler wie zum Beispiel Pufferüberläufe oder Wettlaufsituationen prüfen.Weiters gibt es noch Werkzeuge, die auch Architekturmetriken und die Konfodie auch Architekturmetriken und die Konfo
, This is a list of notable tools for static program analysis (program analysis is a synonym for code analysis).
|
rdfs:label |
静的コード解析ツール一覧
, Liste von Werkzeugen zur statischen Codeanalyse
, List of tools for static code analysis
|