| http://dbpedia.org/ontology/abstract
|
기호 실행은 컴퓨터 과학 및 컴퓨터 공학 분야에서 사용하는 용어로써, 컴퓨터 … 기호 실행은 컴퓨터 과학 및 컴퓨터 공학 분야에서 사용하는 용어로써, 컴퓨터 프로그램의 입력값에 대한 실행 경로를 분석하기 위한 기법이다. 입력값에 대한 실행 경로 취득이 가능하면, 역으로 실행 경로를 위한 입력값 생성도 가능하기 때문에 다양한 방법으로 활용 가능하다. 기호 실행을 활용하는 대표적인 분야는 소프트웨어 테스트이다. 소프트웨어 테스트 수행 시 모든 입력을 대상으로 테스트를 수행할 수 없기 때문에, 일반적으로 대표값을 선정한다. 기호 실행을 활용해 특정 조건(코드 커버리지, , 등)을 만족하는 입력값 생성이 가능하다.용해 특정 조건(코드 커버리지, , 등)을 만족하는 입력값 생성이 가능하다.
, In computer science, symbolic execution (a … In computer science, symbolic execution (also symbolic evaluation or symbex) is a means of analyzing a program to determine what inputs cause each part of a program to execute. An interpreter follows the program, assuming symbolic values for inputs rather than obtaining actual inputs as normal execution of the program would. It thus arrives at expressions in terms of those symbols for expressions and variables in the program, and constraints in terms of those symbols for the possible outcomes of each conditional branch. Finally, the possible inputs that trigger a branch can be determined by solving the constraints. The field of symbolic simulation applies the same concept to hardware. Symbolic computation applies the concept to the analysis of mathematical expressions. the analysis of mathematical expressions.
, في علم الحاسوب، يعد التنفيذ الرمزي أو التق … في علم الحاسوب، يعد التنفيذ الرمزي أو التقييم الرمزي وسيلة لتحليل برنامج لتحديد المدخلات التي تتسبب في تنفيذ كل جزء من البرنامج. يتبع المترجم البرنامج، بافتراض قيم رمزية للمدخلات بدلاً من الحصول على مدخلات فعلية كما يفعل التنفيذ العادي للبرنامج. وبالتالي تصل إلى التعبيرات من حيث تلك الرموز للتعبيرات والمتغيرات في البرنامج، والقيود من حيث تلك الرموز للنتائج المحتملة لكل فرع شرطي. يطبق مجال المحاكاة الرمزية نفس المفهوم على الأجهزة. يطبق الحساب الرمزي المفهوم على تحليل التعبيرات الرياضية.رمزي المفهوم على تحليل التعبيرات الرياضية.
, 符号执行（英語：symbolic execution）是一种计算机科学领域的程序分析 … 符号执行（英語：symbolic execution）是一种计算机科学领域的程序分析技术，通过采用抽象的符号代替精确值作为程序输入变量，得出每个路径抽象的输出结果。这一技术在硬件、底层程序测试中有一定的应用，能够有效的发现程序中的漏洞。 这一思想最初由IBM托马斯·J·华森研究中心的詹姆斯·C.金（James C. King） 于1976年6月在论文Symbolic Execution and Program Testing中提出，文中“解析程序的路径后，用符号模拟通过路径并获得输出”的方法如今被称为“经典符号执行”。由于20世纪80年代的研究追求分析的完备性，而大型程序的路径复杂，不可能完全遍历，符号执行这一研究领域遇冷。21世纪后，该领域研究有了新的进展：2006年，克里斯蒂安·卡达尔（Cristian Cadar）在论文中设计了一种“先进行符号执行，后根据符号执行结果生成测试用例”的“执行生成测试”技术，并随后将其发展为应用在GNU/Linux内核错误检查中的KLEE；2007年，库希克·森（Koushik Sen）在当年的软件工程自动化（Automated Software Engineering）会议提出将符号执行和实际执行结合的“混合执行（Concolic testing）”方法；2009年，维塔利·奇波诺夫（Vitaly Chipounov）提出“选择性符号执行”方法，通过选择“对程序设计者有意义”的执行分支进行符号执行测试来提高对大型程序应用符号执行测试的可行性。 （symbolic simulation）则把类似的思想用于电路分析；（Symbolic computation）则用于数学。则把类似的思想用于电路分析；（Symbolic computation）则用于数学。
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.comp.ita.br/labsca/waiaf/papers/RafaelShigemura_paper_16.pdf +
, https://core.ac.uk/download/pdf/24067593.pdf +
, https://ti.arc.nasa.gov/publications/3007/download/ +
, http://www.cs.umd.edu/~avik/papers/ssarorwa.pdf +
, http://www.cs.umd.edu/~jfoster/papers/symdroid.pdf +
, http://www.cs.umd.edu/~mwh/se-tutorial/symbolic-exec.pdf +
, https://emina.github.io/rosette/ +
, https://github.com/feliam/pysymemu/ +
, https://www.doc.ic.ac.uk/~pg/publications/FragosoSantos2019JaVerT.pdf +
, https://people.cs.kuleuven.be/~bart.jacobs/verifast +
, https://triton.quarkslab.com +
, http://www.key-project.org/ +
, https://github.com/osl/jcute +
, https://github.com/pietrobraione/jbse +
, https://github.com/saswatanand/symexbib +
, http://www.cs.ubc.ca/labs/isd/Projects/Kite/ +
, https://github.com/trailofbits/manticore/ +
, http://bitblaze.cs.berkeley.edu/fuzzball.html +
, http://research.microsoft.com/en-us/projects/pex/ +
, https://maat.re/ +
, https://github.com/ConsenSys/mythril +
, http://webblaze.cs.berkeley.edu/2010/kudzu/kudzu.pdf +
, https://github.com/ExpoSEJS/ExpoSE +
, https://klee.github.io/ +
, https://github.com/GaloisInc/crucible +
, https://bitbucket.org/khooyp/otter/overview +
, https://web.archive.org/web/20111017144043/http:/babelfish.arc.nasa.gov/trac/jpf/raw-attachment/wiki/presentations/start/ICSE2011Short.pptx +
, https://github.com/NMHai/BE-PUM +
, http://forallsecure.com +
, https://github.com/Samsung/jalangi2 +
, http://binsec.github.io +
, https://github.com/SymbolicPathFinder +
, https://sites.google.com/view/smartcontract-analysis/home +
, https://github.com/codelion/pathgrind +
, https://dblp.uni-trier.de/rec/bibtex/journals/tissec/CadarGPDE08 +
, https://github.com/ksen007/janala2 +
, http://s2e.systems/ +
, http://angr.io/ +
|
| http://dbpedia.org/ontology/wikiPageID
|
607674
|
| http://dbpedia.org/ontology/wikiPageLength
|
16102
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1119817158
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Interpreter_%28computing%29 +
, http://dbpedia.org/resource/Symbolic_simulation +
, http://dbpedia.org/resource/Concolic_testing +
, http://dbpedia.org/resource/Execution_%28computing%29 +
, http://dbpedia.org/resource/.NET_Framework +
, http://dbpedia.org/resource/Abstract_interpretation +
, http://dbpedia.org/resource/Category:Computer_science +
, http://dbpedia.org/resource/Symbolic_computation +
, http://dbpedia.org/resource/Racket_%28programming_language%29 +
, http://dbpedia.org/resource/Input_%28computer_science%29 +
, http://dbpedia.org/resource/Aliasing_%28computing%29 +
, http://dbpedia.org/resource/Inter-process_communication +
, http://dbpedia.org/resource/JavaScript +
, http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/Program_analysis +
, http://dbpedia.org/resource/Control-flow_graph +
, http://dbpedia.org/resource/Ruby_%28programming_language%29 +
, http://dbpedia.org/resource/Constraint_solver +
, http://dbpedia.org/resource/Dynamic_recompilation +
, http://dbpedia.org/resource/Dynamic_program_analysis +
, http://dbpedia.org/resource/System_call +
, http://dbpedia.org/resource/Ethereum +
, http://dbpedia.org/resource/Dalvik_%28software%29 +
, http://dbpedia.org/resource/Category:Abstract_interpretation +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Software_testing +
, http://dbpedia.org/resource/Template:Proprietary +
, http://dbpedia.org/resource/Template:Free +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Computer_science +
, http://dbpedia.org/resource/Category:Abstract_interpretation +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Means +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Symbolic_execution?oldid=1119817158&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Symbolic_execution +
|
| owl:sameAs |
https://global.dbpedia.org/id/4w4fF +
, http://www.wikidata.org/entity/Q7661178 +
, http://fa.dbpedia.org/resource/%D8%A7%D8%AC%D8%B1%D8%A7%DB%8C_%D9%86%D9%85%D8%A7%D8%AF%DB%8C%D9%86 +
, http://ar.dbpedia.org/resource/%D8%AA%D9%86%D9%81%D9%8A%D8%B0_%D8%B1%D9%85%D8%B2%D9%8A +
, http://zh.dbpedia.org/resource/%E7%AC%A6%E5%8F%B7%E6%89%A7%E8%A1%8C +
, http://ko.dbpedia.org/resource/%EA%B8%B0%ED%98%B8_%EC%8B%A4%ED%96%89 +
, http://rdf.freebase.com/ns/m.04ydfsv +
, http://dbpedia.org/resource/Symbolic_execution +
|
| rdf:type |
http://dbpedia.org/ontology/Software +
|
| rdfs:comment |
في علم الحاسوب، يعد التنفيذ الرمزي أو التق … في علم الحاسوب، يعد التنفيذ الرمزي أو التقييم الرمزي وسيلة لتحليل برنامج لتحديد المدخلات التي تتسبب في تنفيذ كل جزء من البرنامج. يتبع المترجم البرنامج، بافتراض قيم رمزية للمدخلات بدلاً من الحصول على مدخلات فعلية كما يفعل التنفيذ العادي للبرنامج. وبالتالي تصل إلى التعبيرات من حيث تلك الرموز للتعبيرات والمتغيرات في البرنامج، والقيود من حيث تلك الرموز للنتائج المحتملة لكل فرع شرطي. يطبق مجال المحاكاة الرمزية نفس المفهوم على الأجهزة. يطبق الحساب الرمزي المفهوم على تحليل التعبيرات الرياضية.رمزي المفهوم على تحليل التعبيرات الرياضية.
, 符号执行（英語：symbolic execution）是一种计算机科学领域的程序分析 … 符号执行（英語：symbolic execution）是一种计算机科学领域的程序分析技术，通过采用抽象的符号代替精确值作为程序输入变量，得出每个路径抽象的输出结果。这一技术在硬件、底层程序测试中有一定的应用，能够有效的发现程序中的漏洞。 这一思想最初由IBM托马斯·J·华森研究中心的詹姆斯·C.金（James C. King） 于1976年6月在论文Symbolic Execution and Program Testing中提出，文中“解析程序的路径后，用符号模拟通过路径并获得输出”的方法如今被称为“经典符号执行”。由于20世纪80年代的研究追求分析的完备性，而大型程序的路径复杂，不可能完全遍历，符号执行这一研究领域遇冷。21世纪后，该领域研究有了新的进展：2006年，克里斯蒂安·卡达尔（Cristian Cadar）在论文中设计了一种“先进行符号执行，后根据符号执行结果生成测试用例”的“执行生成测试”技术，并随后将其发展为应用在GNU/Linux内核错误检查中的KLEE；2007年，库希克·森（Koushik Sen）在当年的软件工程自动化（Automated Software Engineering）会议提出将符号执行和实际执行结合的“混合执行（Concolic testing）”方法；2009年，维塔利·奇波诺夫（Vitaly Chipounov）提出“选择性符号执行”方法，通过选择“对程序设计者有意义”的执行分支进行符号执行测试来提高对大型程序应用符号执行测试的可行性。序设计者有意义”的执行分支进行符号执行测试来提高对大型程序应用符号执行测试的可行性。
, 기호 실행은 컴퓨터 과학 및 컴퓨터 공학 분야에서 사용하는 용어로써, 컴퓨터 … 기호 실행은 컴퓨터 과학 및 컴퓨터 공학 분야에서 사용하는 용어로써, 컴퓨터 프로그램의 입력값에 대한 실행 경로를 분석하기 위한 기법이다. 입력값에 대한 실행 경로 취득이 가능하면, 역으로 실행 경로를 위한 입력값 생성도 가능하기 때문에 다양한 방법으로 활용 가능하다. 기호 실행을 활용하는 대표적인 분야는 소프트웨어 테스트이다. 소프트웨어 테스트 수행 시 모든 입력을 대상으로 테스트를 수행할 수 없기 때문에, 일반적으로 대표값을 선정한다. 기호 실행을 활용해 특정 조건(코드 커버리지, , 등)을 만족하는 입력값 생성이 가능하다.용해 특정 조건(코드 커버리지, , 등)을 만족하는 입력값 생성이 가능하다.
, In computer science, symbolic execution (a … In computer science, symbolic execution (also symbolic evaluation or symbex) is a means of analyzing a program to determine what inputs cause each part of a program to execute. An interpreter follows the program, assuming symbolic values for inputs rather than obtaining actual inputs as normal execution of the program would. It thus arrives at expressions in terms of those symbols for expressions and variables in the program, and constraints in terms of those symbols for the possible outcomes of each conditional branch. Finally, the possible inputs that trigger a branch can be determined by solving the constraints. be determined by solving the constraints.
|
| rdfs:label |
Symbolic execution
, تنفيذ رمزي
, 기호 실행
, 符号执行
|
