Program analysis (original) (raw)
Die Programmanalyse beschäftigt sich mit Methoden zur (automatischen) Analyse von Computerprogrammen. Die Methoden der Programmanalyse erlauben Programmierern ein besseres Verständnis komplexer Programme, ebenso werden sie in den von Übersetzern und Interpretern genutzten Optimierungsverfahren angewendet. Die Abhängigkeiten zwischen Unterprogrammen anhand Verwendungsnachweis und Aufrufstruktur können ermittelt und in einem statischen angezeigt werden. Wichtige Methoden sind: * Abstrakte Interpretation * * Datenflussanalyse * Typ- und Effektsysteme
Property | Value |
---|---|
dbo:abstract | Die Programmanalyse beschäftigt sich mit Methoden zur (automatischen) Analyse von Computerprogrammen. Die Methoden der Programmanalyse erlauben Programmierern ein besseres Verständnis komplexer Programme, ebenso werden sie in den von Übersetzern und Interpretern genutzten Optimierungsverfahren angewendet. Die Abhängigkeiten zwischen Unterprogrammen anhand Verwendungsnachweis und Aufrufstruktur können ermittelt und in einem statischen angezeigt werden. Wichtige Methoden sind: * Abstrakte Interpretation * * Datenflussanalyse * Typ- und Effektsysteme (de) Ανάλυση προγράμματος (computer program analysis) ονομάζεται η διαδικασία με την οποία αναλύεται αυτόματα η συμπεριφορά προγραμμάτων που εκτελούνται σε έναν υπολογιστή. Υπάρχουν δύο βασικές προσεγγίσεις στην ανάλυση προγράμματος, η στατική ανάλυση και η δυναμική ανάλυση. Βασικές εφαρμογές της ανάλυσης προγράμματος είναι η και η . Σχετικές τεχνικές με την ανάλυση προγράμματος είναι: * τα συστήματα τύπων * η * η * ο έλεγχος μοντέλων. Η (γνωστή και με τον όρο "profiling") και η είναι συγκεκριμένες μορφές της ανάλυσης προγράμματος. Μια τεχνική που χρησιμοποιείται συχνά για κάποιες περιπτώσεις ανάλυσης προγράμματος είναι το . (el) En ciencias de la computación, análisis de software es el proceso automatizado de analizar el sistema para el comportamiento del software. Existen dos tipos principales de análisis, el análisis estático de software y el análisis dinámico de software. Estas técnicas de análisis intentan encontrar y mejorar en un software cuestiones de correctitud, optimización y seguridad. Algunas de las técnicas usadas para llevar a cabo estos análisis son: * Análisis de control del flujo y * * * Verificación de tipos y efectos * Rebanamiento estático * Model checking Otros campos similares son el profiling y la verificación formal de software. (es) In computer science, program analysis is the process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. Program analysis focuses on two major areas: program optimization and program correctness. The first focuses on improving the program’s performance while reducing the resource usage while the latter focuses on ensuring that the program does what it is supposed to do. Program analysis can be performed without executing the program (static program analysis), during runtime (dynamic program analysis) or in a combination of both. (en) 컴퓨터 프로그램 분석은 자동으로 컴퓨터 프로그램의 동작을 분석하는 일이다. 프로그램 분석 방법은 크게 정적 프로그램 분석과 동적 프로그램 분석으로 나눌 수 있다. 프로그램 분석은 주로 프로그램 최적화와 에 이용된다. 아래에 프로그램 분석과 관련된 기술들이 있다. * 타입 시스템 * * * (ko) Analiza programów – badanie programów komputerowych gotowych do uruchomienia lub w postaci kodów źródłowych. Analiza w trakcie działania programu nazywa się analizą dynamiczną, natomiast badanie bez uruchamiania programu nazywa się analizą statyczną. Najważniejszymi zastosowaniami analizy programów jest znajdowanie i usuwanie przyczyn ich błędnego działania (debugowanie), poprawianie jakości programów (optymalizacja) oraz poznawanie szczegółów zasad działania programu (reverse engineering). (pl) 在计算机科学中,程序分析是指自动分析一个程序的包括正确性、健壮性、安全性和活跃性等特征的过程。程序分析主要研究两大领域:和程序的正确性。前者研究如何提升程序性能并且降低程序的资源占用,后者研究如何确保程序完成预期的任务。 程序分析可以在不执行程序的情况下进行(静态程序分析),也可在执行时进行(),或结合二者。 (zh) |
dbo:wikiPageExternalLink | https://www.cs.columbia.edu/~junfeng/08fa-e6998/sched/readings/slicing.pdf |
dbo:wikiPageID | 161905 (xsd:integer) |
dbo:wikiPageLength | 9945 (xsd:nonNegativeInteger) |
dbo:wikiPageRevisionID | 1115014051 (xsd:integer) |
dbo:wikiPageWikiLink | dbr:Program_optimization dbr:Interpreter_(computing) dbr:SQL_injection dbr:Control-flow_graph dbr:Computer_science dbr:Static_program_analysis dbr:Taint_checking dbr:C_(programming_language) dbr:Type_system dbr:Language-based_security dbr:Dynamic_program_analysis dbr:Profiling_(computer_programming) dbr:Polyvariance dbc:Program_analysis dbr:Termination_analysis dbr:Automated_code_review dbr:Springer_Science+Business_Media dbr:Optimizing_compiler dbr:Runtime_verification dbr:Type_inference dbr:Security_testing dbr:Program_verification dbr:Logical_formula dbr:Program_correctness dbr:Boxed_type |
dbp:wikiPageUsesTemplate | dbt:Cite_book dbt:Clarify dbt:Commonscatinline dbt:Main dbt:More_citations_needed dbt:Other_uses dbt:Reflist dbt:Short_description dbt:Spaced_endash dbt:Spaced_ndash dbt:Software_development_process |
dct:subject | dbc:Program_analysis |
gold:hypernym | dbr:Process |
rdf:type | dbo:Election |
rdfs:comment | Die Programmanalyse beschäftigt sich mit Methoden zur (automatischen) Analyse von Computerprogrammen. Die Methoden der Programmanalyse erlauben Programmierern ein besseres Verständnis komplexer Programme, ebenso werden sie in den von Übersetzern und Interpretern genutzten Optimierungsverfahren angewendet. Die Abhängigkeiten zwischen Unterprogrammen anhand Verwendungsnachweis und Aufrufstruktur können ermittelt und in einem statischen angezeigt werden. Wichtige Methoden sind: * Abstrakte Interpretation * * Datenflussanalyse * Typ- und Effektsysteme (de) 컴퓨터 프로그램 분석은 자동으로 컴퓨터 프로그램의 동작을 분석하는 일이다. 프로그램 분석 방법은 크게 정적 프로그램 분석과 동적 프로그램 분석으로 나눌 수 있다. 프로그램 분석은 주로 프로그램 최적화와 에 이용된다. 아래에 프로그램 분석과 관련된 기술들이 있다. * 타입 시스템 * * * (ko) Analiza programów – badanie programów komputerowych gotowych do uruchomienia lub w postaci kodów źródłowych. Analiza w trakcie działania programu nazywa się analizą dynamiczną, natomiast badanie bez uruchamiania programu nazywa się analizą statyczną. Najważniejszymi zastosowaniami analizy programów jest znajdowanie i usuwanie przyczyn ich błędnego działania (debugowanie), poprawianie jakości programów (optymalizacja) oraz poznawanie szczegółów zasad działania programu (reverse engineering). (pl) 在计算机科学中,程序分析是指自动分析一个程序的包括正确性、健壮性、安全性和活跃性等特征的过程。程序分析主要研究两大领域:和程序的正确性。前者研究如何提升程序性能并且降低程序的资源占用,后者研究如何确保程序完成预期的任务。 程序分析可以在不执行程序的情况下进行(静态程序分析),也可在执行时进行(),或结合二者。 (zh) Ανάλυση προγράμματος (computer program analysis) ονομάζεται η διαδικασία με την οποία αναλύεται αυτόματα η συμπεριφορά προγραμμάτων που εκτελούνται σε έναν υπολογιστή. Υπάρχουν δύο βασικές προσεγγίσεις στην ανάλυση προγράμματος, η στατική ανάλυση και η δυναμική ανάλυση. Βασικές εφαρμογές της ανάλυσης προγράμματος είναι η και η . Σχετικές τεχνικές με την ανάλυση προγράμματος είναι: * τα συστήματα τύπων * η * η * ο έλεγχος μοντέλων. Η (γνωστή και με τον όρο "profiling") και η είναι συγκεκριμένες μορφές της ανάλυσης προγράμματος. (el) En ciencias de la computación, análisis de software es el proceso automatizado de analizar el sistema para el comportamiento del software. Existen dos tipos principales de análisis, el análisis estático de software y el análisis dinámico de software. Estas técnicas de análisis intentan encontrar y mejorar en un software cuestiones de correctitud, optimización y seguridad. Algunas de las técnicas usadas para llevar a cabo estos análisis son: * Análisis de control del flujo y * * * Verificación de tipos y efectos * Rebanamiento estático * Model checking (es) In computer science, program analysis is the process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. Program analysis focuses on two major areas: program optimization and program correctness. The first focuses on improving the program’s performance while reducing the resource usage while the latter focuses on ensuring that the program does what it is supposed to do. (en) |
rdfs:label | Program analysis (en) Programmanalyse (de) Ανάλυση προγράμματος (πληροφορική) (el) Análisis de software (es) 프로그램 분석 (ko) Analiza programów (pl) 程序分析 (zh) |
owl:sameAs | freebase:Program analysis wikidata:Program analysis dbpedia-de:Program analysis dbpedia-el:Program analysis dbpedia-es:Program analysis dbpedia-et:Program analysis dbpedia-fa:Program analysis dbpedia-ko:Program analysis dbpedia-pl:Program analysis dbpedia-sr:Program analysis dbpedia-zh:Program analysis https://global.dbpedia.org/id/218EY |
prov:wasDerivedFrom | wikipedia-en:Program_analysis?oldid=1115014051&ns=0 |
foaf:isPrimaryTopicOf | wikipedia-en:Program_analysis |
is dbo:academicDiscipline of | dbr:Peter_O'Hearn |
is dbo:wikiPageRedirects of | dbr:Program_analysis_(computer_science) dbr:Program_analyzer dbr:Software_analysis dbr:Computer_program_analysis |
is dbo:wikiPageWikiLink of | dbr:Program_analysis_(computer_science) dbr:Metamorphic_testing dbr:Program_analyzer dbr:List_of_Eclipse_projects dbr:Patrick_Drew_McDaniel dbr:Peter_O'Hearn dbr:Deductive_database dbr:Incremental_computing dbr:Information_Security_Group dbr:List_of_programming_language_researchers dbr:Reachability_problem dbr:Rooted_graph dbr:Fuzzing dbr:Glossary_of_artificial_intelligence dbr:Correctness_(computer_science) dbr:Shmuel_Sagiv dbr:Z3_Theorem_Prover dbr:ZPL_(programming_language) dbr:Static_program_analysis dbr:Symbolic_execution dbr:John_D._Gannon dbr:Language-based_security dbr:Datalog dbr:Flow_chart_language dbr:Helmut_Veith dbr:Polyvariance dbr:Abstract_syntax_tree dbr:Suncoast_Community_High_School dbr:Code_bloat dbr:Javier_Esparza dbr:Termination_analysis dbr:Byron_Cook_(computer_scientist) dbr:CPAchecker dbr:Pod_(The_Breeders_album) dbr:Gregg_Rothermel dbr:Integer_set_library dbr:Racket_(programming_language) dbr:Yannis_Smaragdakis dbr:SAT_solver dbr:Satisfiability_modulo_theories dbr:Shape_analysis_(program_analysis) dbr:University_of_Utah_School_of_Computing dbr:Typestate_analysis dbr:Monica_S._Lam dbr:University_of_Utah_College_of_Engineering dbr:Theory_of_pure_equality dbr:Software_analysis dbr:Computer_program_analysis |
is dbp:fields of | dbr:Peter_O'Hearn |
is foaf:primaryTopic of | wikipedia-en:Program_analysis |