├── Dictionary └── Dictionary.md ├── Manual ├── Tutorial │ ├── Tutorial.md │ ├── img │ │ ├── concrete-execution-tree.png │ │ ├── illegal_access.png │ │ ├── illegal_access2.png │ │ ├── illegal_access3.png │ │ ├── symex-tree.png │ │ ├── symexec-field-update.png │ │ ├── symexec-free.png │ │ ├── symexec-if-case1.png │ │ ├── symexec-if-case2.png │ │ ├── symexec-malloc-case1.png │ │ └── symexec-malloc-case2.png │ └── original │ │ ├── tutorial_20141008.pdf │ │ └── tutorial_20170215.pdf └── index.md ├── Paper └── seplogic │ ├── OMakefile │ ├── OMakeroot │ ├── ipa.map │ ├── ipsj.cls │ ├── ipsjdraft.sty │ ├── ipsjpref.sty │ ├── ipsjsort.bst │ ├── ipsjtech.sty │ ├── ipsjunsrt.bst │ ├── seplogic-ja.tex │ └── seplogic.pdf └── README.md /Dictionary/Dictionary.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jverifast-ug/translate/HEAD/Dictionary/Dictionary.md -------------------------------------------------------------------------------- /Manual/Tutorial/Tutorial.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jverifast-ug/translate/HEAD/Manual/Tutorial/Tutorial.md -------------------------------------------------------------------------------- /Manual/Tutorial/img/concrete-execution-tree.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jverifast-ug/translate/HEAD/Manual/Tutorial/img/concrete-execution-tree.png -------------------------------------------------------------------------------- /Manual/Tutorial/img/illegal_access.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jverifast-ug/translate/HEAD/Manual/Tutorial/img/illegal_access.png -------------------------------------------------------------------------------- /Manual/Tutorial/img/illegal_access2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jverifast-ug/translate/HEAD/Manual/Tutorial/img/illegal_access2.png -------------------------------------------------------------------------------- /Manual/Tutorial/img/illegal_access3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jverifast-ug/translate/HEAD/Manual/Tutorial/img/illegal_access3.png -------------------------------------------------------------------------------- /Manual/Tutorial/img/symex-tree.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jverifast-ug/translate/HEAD/Manual/Tutorial/img/symex-tree.png -------------------------------------------------------------------------------- /Manual/Tutorial/img/symexec-field-update.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jverifast-ug/translate/HEAD/Manual/Tutorial/img/symexec-field-update.png -------------------------------------------------------------------------------- /Manual/Tutorial/img/symexec-free.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jverifast-ug/translate/HEAD/Manual/Tutorial/img/symexec-free.png -------------------------------------------------------------------------------- /Manual/Tutorial/img/symexec-if-case1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jverifast-ug/translate/HEAD/Manual/Tutorial/img/symexec-if-case1.png -------------------------------------------------------------------------------- /Manual/Tutorial/img/symexec-if-case2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jverifast-ug/translate/HEAD/Manual/Tutorial/img/symexec-if-case2.png -------------------------------------------------------------------------------- /Manual/Tutorial/img/symexec-malloc-case1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jverifast-ug/translate/HEAD/Manual/Tutorial/img/symexec-malloc-case1.png -------------------------------------------------------------------------------- /Manual/Tutorial/img/symexec-malloc-case2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jverifast-ug/translate/HEAD/Manual/Tutorial/img/symexec-malloc-case2.png -------------------------------------------------------------------------------- /Manual/Tutorial/original/tutorial_20141008.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jverifast-ug/translate/HEAD/Manual/Tutorial/original/tutorial_20141008.pdf -------------------------------------------------------------------------------- /Manual/Tutorial/original/tutorial_20170215.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jverifast-ug/translate/HEAD/Manual/Tutorial/original/tutorial_20170215.pdf -------------------------------------------------------------------------------- /Manual/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jverifast-ug/translate/HEAD/Manual/index.md -------------------------------------------------------------------------------- /Paper/seplogic/OMakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jverifast-ug/translate/HEAD/Paper/seplogic/OMakefile -------------------------------------------------------------------------------- /Paper/seplogic/OMakeroot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jverifast-ug/translate/HEAD/Paper/seplogic/OMakeroot -------------------------------------------------------------------------------- /Paper/seplogic/ipa.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jverifast-ug/translate/HEAD/Paper/seplogic/ipa.map -------------------------------------------------------------------------------- /Paper/seplogic/ipsj.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jverifast-ug/translate/HEAD/Paper/seplogic/ipsj.cls -------------------------------------------------------------------------------- /Paper/seplogic/ipsjdraft.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jverifast-ug/translate/HEAD/Paper/seplogic/ipsjdraft.sty -------------------------------------------------------------------------------- /Paper/seplogic/ipsjpref.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jverifast-ug/translate/HEAD/Paper/seplogic/ipsjpref.sty -------------------------------------------------------------------------------- /Paper/seplogic/ipsjsort.bst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jverifast-ug/translate/HEAD/Paper/seplogic/ipsjsort.bst -------------------------------------------------------------------------------- /Paper/seplogic/ipsjtech.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jverifast-ug/translate/HEAD/Paper/seplogic/ipsjtech.sty -------------------------------------------------------------------------------- /Paper/seplogic/ipsjunsrt.bst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jverifast-ug/translate/HEAD/Paper/seplogic/ipsjunsrt.bst -------------------------------------------------------------------------------- /Paper/seplogic/seplogic-ja.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jverifast-ug/translate/HEAD/Paper/seplogic/seplogic-ja.tex -------------------------------------------------------------------------------- /Paper/seplogic/seplogic.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jverifast-ug/translate/HEAD/Paper/seplogic/seplogic.pdf -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jverifast-ug/translate/HEAD/README.md --------------------------------------------------------------------------------