Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Symbolic execution
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Technique for Program Analysis
Property
Value
dbo:
description
Technique for Program Analysis
(en)
dbo:
wikiPageExternalLink
https://github.com/ksen007/janala2
https://klee.github.io/
https://triton.quarkslab.com
http://angr.io/
http://bitblaze.cs.berkeley.edu/fuzzball.html
http://s2e.systems/
http://webblaze.cs.berkeley.edu/2010/kudzu/kudzu.pdf
http://www.comp.ita.br/labsca/waiaf/papers/RafaelShigemura_paper_16.pdf
https://emina.github.io/rosette/
https://maat.re/
http://binsec.github.io
http://forallsecure.com
https://github.com/ConsenSys/mythril
https://github.com/ExpoSEJS/ExpoSE
https://github.com/GaloisInc/crucible
https://github.com/NMHai/BE-PUM
https://github.com/Samsung/jalangi2
https://github.com/SymbolicPathFinder
https://github.com/codelion/pathgrind
https://github.com/feliam/pysymemu/
https://github.com/osl/jcute
https://github.com/pietrobraione/jbse
https://github.com/saswatanand/symexbib
https://github.com/trailofbits/manticore/
http://research.microsoft.com/en-us/projects/pex/
http://www.cs.ubc.ca/labs/isd/Projects/Kite/
https://sites.google.com/view/smartcontract-analysis/home
https://www.doc.ic.ac.uk/~pg/publications/FragosoSantos2019JaVerT.pdf
https://bitbucket.org/khooyp/otter/overview
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://core.ac.uk/download/pdf/24067593.pdf
https://ti.arc.nasa.gov/publications/3007/download/
https://dblp.uni-trier.de/rec/bibtex/journals/tissec/CadarGPDE08
https://people.cs.kuleuven.be/~bart.jacobs/verifast
http://www.key-project.org/
https://web.archive.org/web/20111017144043/http:/babelfish.arc.nasa.gov/trac/jpf/raw-attachment/wiki/presentations/start/ICSE2011Short.pptx
dbo:
wikiPageWikiLink
dbr
:Input_(computer_science)
dbr
:.NET_Framework
dbr
:Dynamic_recompilation
dbr
:Aliasing_(computing)
dbr
:Program_analysis
dbr
:Abstract_interpretation
dbc
:Abstract_interpretation
dbr
:JavaScript
dbr
:Computer_science
dbr
:System_call
dbr
:Ruby_(programming_language)
dbr
:Racket_(programming_language)
dbr
:Dalvik_(software)
dbr
:Inter-process_communication
dbr
:Interpreter_(computing)
dbr
:Dynamic_program_analysis
dbc
:Computer_science
dbr
:Execution_(computing)
dbr
:Control-flow_graph
dbr
:Symbolic_simulation
dbr
:Concolic_testing
dbr
:Ethereum
dbr
:Symbolic_computation
dbr
:Constraint_solver
dbp:
wikiPageUsesTemplate
dbt
:Main
dbt
:Free
dbt
:Proprietary
dbt
:Short_description
dbt
:Software_testing
dct:
subject
dbc
:Abstract_interpretation
dbc
:Program_analysis
gold:
hypernym
dbr
:Means
rdfs:
label
Symbolic execution
(en)
تنفيذ رمزي
(ar)
기호 실행
(ko)
符号执行
(zh)
owl:
sameAs
freebase
:Symbolic execution
wikidata
:Symbolic execution
dbpedia-zh
:Symbolic execution
dbpedia-fa
:Symbolic execution
dbpedia-ko
:Symbolic execution
dbpedia-ar
:Symbolic execution
dbpedia-global
:Symbolic execution
prov:
wasDerivedFrom
wikipedia-en
:Symbolic_execution?oldid=1291924150&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Symbolic_execution
is
dbo:
wikiPageDisambiguates
of
dbr
:Symbolic
is
dbo:
wikiPageRedirects
of
dbr
:Symbolic_evaluation
is
dbo:
wikiPageWikiLink
of
dbr
:Satisfiability_modulo_theories
dbr
:Abstract_interpretation
dbr
:History_of_mathematical_notation
dbr
:Static_program_analysis
dbr
:Fuzzing
dbr
:MALPAS_Software_Static_Analysis_Toolset
dbr
:Symbolic
dbr
:Test_design
dbr
:WebAssembly
dbr
:Predicate_transformer_semantics
dbr
:Symbolic_simulation
dbr
:Concolic_testing
dbr
:Grigore_Roșu
dbr
:Differential_testing
dbr
:KeY
dbr
:Harry_R._Lewis
dbr
:2016_Cyber_Grand_Challenge
dbr
:Symbolic_evaluation
is
foaf:
primaryTopic
of
wikipedia-en
:Symbolic_execution
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International