├── .clang-format ├── .gitignore ├── .gitlab-ci.yml ├── CMakeLists.txt ├── LICENSE ├── MLton-LICENSE ├── Makefile.am ├── Makefile_arm7 ├── Makefile_avr ├── Makefile_manual ├── Makefile_mips ├── Makefile_x86 ├── NJ-LICENSE ├── README ├── Readme.md ├── arm.mk ├── avr.mk ├── bugs.udcli ├── config.h ├── config.mk ├── configure.ac ├── detail ├── closure │ ├── closure-control.sml │ ├── closure-passes.sml │ ├── closure.sml │ └── from-cps.sml ├── codegen │ ├── c0 │ │ ├── c0.sml │ │ ├── runtime.c │ │ └── runtime.h │ ├── c1 │ │ ├── c1.sml │ │ ├── runtime.c │ │ └── runtime.h │ ├── codegen-control.sml │ ├── codegen-mangle.sml │ ├── codegen-passes.sml │ └── js0 │ │ ├── javascript-sig.sml │ │ ├── javascript.sml │ │ ├── js0.sml │ │ └── runtime.js ├── common │ ├── basic-control.sml │ ├── basis.sml │ ├── compilation-monad.sml │ ├── error.sml │ ├── expand-file.sml │ ├── float-lit.sml │ ├── integer-lit.sml │ ├── layout-sig.sml │ ├── layout.sml │ ├── literal.sml │ ├── pp.sml │ ├── stamp.sml │ ├── stats.sml │ ├── sum-sig.sml │ └── sum.sml ├── cps │ ├── cps-control.sml │ ├── cps-opt.sml │ ├── cps-passes.sml │ ├── cps.sml │ ├── from-core.sml │ └── mk-cps-pass.sml ├── desugar │ ├── desugar-control.sml │ ├── desugar-decode-syntax.sml │ ├── desugar-guards.sml │ ├── desugar-monadic-sequences.sml │ ├── desugar.sml │ ├── desugared-tree.sml │ ├── detokenize.sml │ ├── inline-decode-patterns.sml │ ├── retokenize.sml │ └── split-declarations.sml ├── driver │ └── main.sml ├── export.sml ├── external │ └── mllpt-lib │ │ ├── MLton-LICENSE │ │ ├── NJ-LICENSE │ │ ├── antlr-lexer-sig.sml │ │ ├── antlr-tokens-sig.sml │ │ ├── ebnf.sml │ │ ├── err-handler.sml │ │ ├── ml-lpt-lib.cm │ │ ├── ml-lpt-lib.mlb │ │ ├── mllpt-lib.mlb │ │ ├── repair.sml │ │ ├── stream-pos.sml │ │ ├── ulex-buffer.sml │ │ └── wrapped-strm.sml ├── imp │ ├── imp-control.sml │ ├── imp-from-core.sml │ ├── imp-opt.sml │ ├── imp-passes.sml │ ├── imp.sml │ └── mk-imp-pass.sml ├── ml │ ├── mlton │ │ └── main.sml │ └── smlnj │ │ └── unsealed.cm ├── parser │ ├── mk-ast.sml │ ├── parser.sml │ ├── spec-parse-tree.sml │ ├── spec.g │ ├── spec.g.sml │ ├── spec.l │ └── spec.l.sml ├── semantic │ ├── inference.sml │ ├── primitives.sml │ ├── resolve-symbols.sml │ ├── resolve-type-info.sml │ ├── spec-abstract-tree.sml │ ├── symbol-table-type.sml │ └── typing │ │ ├── boolean-domain.sml │ │ ├── environment-profiling.sml │ │ ├── environment.sml │ │ ├── lang-types.sml │ │ ├── size-constraint.sml │ │ ├── substitutions.sml │ │ ├── tvar.sml │ │ └── type-table.sml └── spec │ ├── core.sml │ └── spec.sml ├── eclipse-plugin ├── gdsl.plugin.sdk │ ├── .project │ ├── build.properties │ ├── category.xml │ └── feature.xml ├── gdsl.plugin.tests │ ├── .classpath │ ├── .gitignore │ ├── .project │ ├── .settings │ │ └── org.eclipse.core.resources.prefs │ ├── META-INF │ │ └── MANIFEST.MF │ ├── build.properties │ ├── gdsl.plugin.tests.launch │ └── src-gen │ │ └── gdsl │ │ └── plugin │ │ ├── GDSLInjectorProvider.java │ │ └── GDSLUiInjectorProvider.java ├── gdsl.plugin.ui │ ├── .classpath │ ├── .gitignore │ ├── .project │ ├── .settings │ │ └── org.eclipse.core.resources.prefs │ ├── META-INF │ │ └── MANIFEST.MF │ ├── build.properties │ ├── plugin.xml │ ├── plugin.xml_gen │ ├── src-gen │ │ └── gdsl │ │ │ └── plugin │ │ │ └── ui │ │ │ ├── AbstractGDSLUiModule.java │ │ │ ├── GDSLExecutableExtensionFactory.java │ │ │ ├── contentassist │ │ │ ├── AbstractGDSLProposalProvider.java │ │ │ └── antlr │ │ │ │ ├── GDSLParser.java │ │ │ │ ├── PartialGDSLContentAssistParser.java │ │ │ │ └── internal │ │ │ │ ├── InternalGDSL.g │ │ │ │ ├── InternalGDSL.tokens │ │ │ │ ├── InternalGDSLLexer.java │ │ │ │ └── InternalGDSLParser.java │ │ │ └── internal │ │ │ └── GDSLActivator.java │ ├── src │ │ └── gdsl │ │ │ └── plugin │ │ │ └── ui │ │ │ ├── GDSLUiModule.java │ │ │ ├── contentassist │ │ │ └── GDSLProposalProvider.xtend │ │ │ ├── labeling │ │ │ ├── GDSLDescriptionLabelProvider.xtend │ │ │ └── GDSLLabelProvider.xtend │ │ │ ├── outline │ │ │ └── GDSLOutlineTreeProvider.xtend │ │ │ └── quickfix │ │ │ └── GDSLQuickfixProvider.xtend │ └── xtend-gen │ │ └── gdsl │ │ └── plugin │ │ └── ui │ │ ├── contentassist │ │ ├── .gitignore │ │ └── GDSLProposalProvider.java │ │ ├── labeling │ │ ├── .gitignore │ │ ├── GDSLDescriptionLabelProvider.java │ │ └── GDSLLabelProvider.java │ │ ├── outline │ │ ├── .gitignore │ │ └── GDSLOutlineTreeProvider.java │ │ └── quickfix │ │ ├── .gitignore │ │ └── GDSLQuickfixProvider.java ├── gdsl.plugin │ ├── .antlr-generator-3.2.0.jar │ ├── .classpath │ ├── .gitignore │ ├── .launch │ │ ├── Generate Language Infrastructure (gdsl.plugin).launch │ │ └── Launch Runtime Eclipse.launch │ ├── .project │ ├── .settings │ │ └── org.eclipse.core.resources.prefs │ ├── META-INF │ │ └── MANIFEST.MF │ ├── build.properties │ ├── model │ │ └── generated │ │ │ ├── GDSL.ecore │ │ │ └── GDSL.genmodel │ ├── plugin.xml │ ├── plugin.xml_gen │ ├── src-gen │ │ └── gdsl │ │ │ └── plugin │ │ │ ├── AbstractGDSLRuntimeModule.java │ │ │ ├── GDSL.xtextbin │ │ │ ├── GDSLStandaloneSetupGenerated.java │ │ │ ├── gDSL │ │ │ ├── AExp.java │ │ │ ├── AndAlsoExp.java │ │ │ ├── ApplyExp.java │ │ │ ├── Args.java │ │ │ ├── AtomicExp.java │ │ │ ├── CONS.java │ │ │ ├── CaseExp.java │ │ │ ├── ClosedExp.java │ │ │ ├── ConDecl.java │ │ │ ├── Decl.java │ │ │ ├── DeclExport.java │ │ │ ├── Exp.java │ │ │ ├── Field.java │ │ │ ├── GDSLFactory.java │ │ │ ├── GDSLPackage.java │ │ │ ├── MExp.java │ │ │ ├── Model.java │ │ │ ├── MonadicExp.java │ │ │ ├── OrElseExp.java │ │ │ ├── PAT.java │ │ │ ├── RExp.java │ │ │ ├── SelectExp.java │ │ │ ├── Ty.java │ │ │ ├── TyBind.java │ │ │ ├── TyElement.java │ │ │ ├── TyVars.java │ │ │ ├── Type.java │ │ │ ├── Val.java │ │ │ ├── ValueDecl.java │ │ │ ├── impl │ │ │ │ ├── AExpImpl.java │ │ │ │ ├── AndAlsoExpImpl.java │ │ │ │ ├── ApplyExpImpl.java │ │ │ │ ├── ArgsImpl.java │ │ │ │ ├── AtomicExpImpl.java │ │ │ │ ├── CONSImpl.java │ │ │ │ ├── CaseExpImpl.java │ │ │ │ ├── ClosedExpImpl.java │ │ │ │ ├── ConDeclImpl.java │ │ │ │ ├── DeclExportImpl.java │ │ │ │ ├── DeclImpl.java │ │ │ │ ├── ExpImpl.java │ │ │ │ ├── FieldImpl.java │ │ │ │ ├── GDSLFactoryImpl.java │ │ │ │ ├── GDSLPackageImpl.java │ │ │ │ ├── MExpImpl.java │ │ │ │ ├── ModelImpl.java │ │ │ │ ├── MonadicExpImpl.java │ │ │ │ ├── OrElseExpImpl.java │ │ │ │ ├── PATImpl.java │ │ │ │ ├── RExpImpl.java │ │ │ │ ├── SelectExpImpl.java │ │ │ │ ├── TyBindImpl.java │ │ │ │ ├── TyElementImpl.java │ │ │ │ ├── TyImpl.java │ │ │ │ ├── TyVarsImpl.java │ │ │ │ ├── TypeImpl.java │ │ │ │ ├── ValImpl.java │ │ │ │ └── ValueDeclImpl.java │ │ │ └── util │ │ │ │ ├── GDSLAdapterFactory.java │ │ │ │ └── GDSLSwitch.java │ │ │ ├── parser │ │ │ └── antlr │ │ │ │ ├── GDSLAntlrTokenFileProvider.java │ │ │ │ ├── GDSLParser.java │ │ │ │ └── internal │ │ │ │ ├── InternalGDSL.g │ │ │ │ ├── InternalGDSL.tokens │ │ │ │ ├── InternalGDSLLexer.java │ │ │ │ └── InternalGDSLParser.java │ │ │ ├── serializer │ │ │ ├── GDSLSemanticSequencer.java │ │ │ └── GDSLSyntacticSequencer.java │ │ │ ├── services │ │ │ └── GDSLGrammarAccess.java │ │ │ └── validation │ │ │ └── AbstractGDSLValidator.java │ ├── src │ │ └── gdsl │ │ │ └── plugin │ │ │ ├── GDSL.xtext │ │ │ ├── GDSLRuntimeModule.java │ │ │ ├── GDSLStandaloneSetup.java │ │ │ ├── GenerateGDSL.mwe2 │ │ │ ├── formatting │ │ │ └── GDSLFormatter.xtend │ │ │ ├── generator │ │ │ └── GDSLGenerator.xtend │ │ │ ├── preferences │ │ │ ├── GDSLPluginPreferences.java │ │ │ └── GdslCompilerPreferencePage.java │ │ │ ├── properties │ │ │ ├── GDSLProjectProperties.java │ │ │ └── GdslCompilerPropertyPage.java │ │ │ ├── scoping │ │ │ └── GDSLScopeProvider.xtend │ │ │ └── validation │ │ │ ├── GDSLCompilerTools.java │ │ │ └── GDSLValidator.xtend │ └── xtend-gen │ │ └── gdsl │ │ └── plugin │ │ ├── formatting │ │ ├── .gitignore │ │ └── GDSLFormatter.java │ │ ├── generator │ │ ├── .gitignore │ │ └── GDSLGenerator.java │ │ ├── scoping │ │ ├── .gitignore │ │ └── GDSLScopeProvider.java │ │ └── validation │ │ ├── .gitignore │ │ └── GDSLValidator.java └── gdslUpdateSite │ ├── artifacts.jar │ ├── content.jar │ ├── features │ ├── gdsl.plugin.sdk_1.0.0.201408270200.jar │ ├── gdsl.plugin.sdk_1.0.0.201408271510.jar │ ├── gdsl.plugin.sdk_1.0.0.201408271741.jar │ ├── gdsl.plugin.sdk_1.0.0.201408291346.jar │ ├── gdsl.plugin.sdk_1.0.0.201409021957.jar │ └── gdsl.plugin.sdk_1.0.0.201409111251.jar │ └── plugins │ ├── gdsl.plugin.ui_1.0.0.201408270200.jar │ ├── gdsl.plugin.ui_1.0.0.201408271510.jar │ ├── gdsl.plugin.ui_1.0.0.201408271741.jar │ ├── gdsl.plugin.ui_1.0.0.201408291346.jar │ ├── gdsl.plugin.ui_1.0.0.201409021957.jar │ ├── gdsl.plugin.ui_1.0.0.201409111251.jar │ ├── gdsl.plugin_1.0.0.201408270200.jar │ ├── gdsl.plugin_1.0.0.201408271510.jar │ ├── gdsl.plugin_1.0.0.201408271741.jar │ ├── gdsl.plugin_1.0.0.201408291346.jar │ ├── gdsl.plugin_1.0.0.201409021957.jar │ └── gdsl.plugin_1.0.0.201409111251.jar ├── gdsl.cm ├── gdsl.h ├── gdslConfig.cmake.in ├── gdslConfigVersion.cmake.in ├── gdslc.mlb ├── include ├── context.h ├── cppgdsl ├── decoder_config.h ├── executor.h ├── gdsl.h ├── gdsl_elf.h ├── gdsl_generic.h ├── gdsl_multiplex.h ├── gdwrap.h ├── generator.h ├── generator_tree.h ├── memory.h ├── readhex.h ├── rreil ├── simulator ├── stack.h ├── tbgen.h ├── tbgen_alloc.h ├── tester.h ├── util.h ├── x86.h ├── x86_features.h └── x86_opcodes.h ├── java_eclipse_formatting.xml ├── lib ├── libcgdsl.a ├── libcppgdsl.a ├── libgdsl-current.so ├── libgdsl-current.so.0 ├── libgdsl-multiplex-windows.a ├── libgdsl-multiplex.a ├── libgdsl-x86-rreil.so ├── libgdsl.so ├── libgdsl.so.0 ├── libgdutil.a ├── libgdwrap.a ├── libjgdsl.so ├── libreadhex.a ├── librreil-sim.a ├── libx86-generator.a ├── libx86-tester.a └── libx86.a ├── libs ├── CMakeLists.txt ├── Makefile ├── cgdsl │ ├── .gitignore │ ├── Makefile │ ├── include │ │ └── rreil │ │ │ ├── gdrr_builder.h │ │ │ ├── rreil.h │ │ │ ├── rreil_address.h │ │ │ ├── rreil_arity.h │ │ │ ├── rreil_branch_hint.h │ │ │ ├── rreil_comparator.h │ │ │ ├── rreil_copy.h │ │ │ ├── rreil_exception.h │ │ │ ├── rreil_expr.h │ │ │ ├── rreil_flop.h │ │ │ ├── rreil_free.h │ │ │ ├── rreil_id.h │ │ │ ├── rreil_linear.h │ │ │ ├── rreil_print.h │ │ │ ├── rreil_sexpr.h │ │ │ ├── rreil_statement.h │ │ │ ├── rreil_variable.h │ │ │ └── rreil_variable_limited.h │ └── src │ │ └── rreil │ │ ├── alloc.c │ │ ├── copy.c │ │ ├── free.c │ │ ├── gdrr_builder.c │ │ ├── print.c │ │ └── rreil_id.c ├── cppgdsl │ ├── CMakeLists.txt │ ├── Makefile │ ├── include │ │ └── cppgdsl │ │ │ ├── arch │ │ │ └── x86.h │ │ │ ├── asm_builder.h │ │ │ ├── assembly │ │ │ ├── annotation │ │ │ │ ├── annotation.h │ │ │ │ ├── annotation_visitor.h │ │ │ │ ├── function_annotation.h │ │ │ │ ├── operand_annotation.h │ │ │ │ └── string_annotation.h │ │ │ ├── arch │ │ │ │ └── x86 │ │ │ │ │ └── factory.h │ │ │ ├── assembly.h │ │ │ ├── boundary │ │ │ │ ├── boundary.h │ │ │ │ ├── boundary_visitor.h │ │ │ │ └── offset_boundary.h │ │ │ ├── instruction.h │ │ │ ├── operand │ │ │ │ ├── annotated.h │ │ │ │ ├── bounded.h │ │ │ │ ├── composite.h │ │ │ │ ├── immediate.h │ │ │ │ ├── memory.h │ │ │ │ ├── operand.h │ │ │ │ ├── operand_visitor.h │ │ │ │ ├── post_op.h │ │ │ │ ├── pre_op.h │ │ │ │ ├── register.h │ │ │ │ ├── rel.h │ │ │ │ ├── scale.h │ │ │ │ ├── signed.h │ │ │ │ └── sum.h │ │ │ └── signedness.h │ │ │ ├── block.h │ │ │ ├── compare.h │ │ │ ├── frontend │ │ │ ├── bare_frontend.h │ │ │ └── frontend.h │ │ │ ├── gdsl.h │ │ │ ├── gdsl_exception.h │ │ │ ├── instruction.h │ │ │ ├── iterator.h │ │ │ ├── optimization.h │ │ │ ├── rreil │ │ │ ├── address.h │ │ │ ├── arch │ │ │ │ └── x86 │ │ │ │ │ └── factory.h │ │ │ ├── branch_hint.h │ │ │ ├── copy_visitor.h │ │ │ ├── exception │ │ │ │ ├── arch_exception.h │ │ │ │ ├── exception.h │ │ │ │ ├── exception_visitor.h │ │ │ │ └── shared_exception.h │ │ │ ├── expr │ │ │ │ ├── binop_op.h │ │ │ │ ├── expr.h │ │ │ │ ├── expr_binop.h │ │ │ │ ├── expr_ext.h │ │ │ │ ├── expr_sexpr.h │ │ │ │ └── expr_visitor.h │ │ │ ├── expr_cmp │ │ │ │ ├── cmp_op.h │ │ │ │ └── expr_cmp.h │ │ │ ├── flop.h │ │ │ ├── id │ │ │ │ ├── arch_id.h │ │ │ │ ├── id.h │ │ │ │ ├── id_visitor.h │ │ │ │ ├── shared_id.h │ │ │ │ └── virtual.h │ │ │ ├── linear │ │ │ │ ├── binop_lin_op.h │ │ │ │ ├── lin_binop.h │ │ │ │ ├── lin_imm.h │ │ │ │ ├── lin_scale.h │ │ │ │ ├── lin_var.h │ │ │ │ ├── linear.h │ │ │ │ └── linear_visitor.h │ │ │ ├── rreil.h │ │ │ ├── sexpr │ │ │ │ ├── arbitrary.h │ │ │ │ ├── sexpr.h │ │ │ │ ├── sexpr_cmp.h │ │ │ │ ├── sexpr_lin.h │ │ │ │ └── sexpr_visitor.h │ │ │ ├── statement │ │ │ │ ├── assign.h │ │ │ │ ├── branch.h │ │ │ │ ├── cbranch.h │ │ │ │ ├── floating.h │ │ │ │ ├── ite.h │ │ │ │ ├── load.h │ │ │ │ ├── prim.h │ │ │ │ ├── statement.h │ │ │ │ ├── statement_visitor.h │ │ │ │ ├── store.h │ │ │ │ ├── throw.h │ │ │ │ └── while.h │ │ │ ├── variable.h │ │ │ ├── variable_limited.h │ │ │ └── visitor.h │ │ │ └── rreil_builder.h │ └── src │ │ ├── arch │ │ └── x86.cpp │ │ ├── asm_builder.cpp │ │ ├── assembly │ │ ├── annotation │ │ │ ├── annotation.cpp │ │ │ ├── function_annotation.cpp │ │ │ ├── operand_annotation.cpp │ │ │ └── string_annotation.cpp │ │ ├── boundary │ │ │ ├── boundary.cpp │ │ │ └── offset_boundary.cpp │ │ ├── instruction.cpp │ │ └── operand │ │ │ ├── annotated.cpp │ │ │ ├── bounded.cpp │ │ │ ├── composite.cpp │ │ │ ├── immediate.cpp │ │ │ ├── memory.cpp │ │ │ ├── operand.cpp │ │ │ ├── post_op.cpp │ │ │ ├── pre_op.cpp │ │ │ ├── register.cpp │ │ │ ├── rel.cpp │ │ │ ├── scale.cpp │ │ │ ├── signed.cpp │ │ │ └── sum.cpp │ │ ├── block.cpp │ │ ├── frontend │ │ ├── bare_frontend.cpp │ │ └── frontend.cpp │ │ ├── gdsl.cpp │ │ ├── gdsl_exception.cpp │ │ ├── instruction.cpp │ │ ├── rreil │ │ ├── address.cpp │ │ ├── branch_hint.cpp │ │ ├── copy_visitor.cpp │ │ ├── exception │ │ │ ├── arch_exception.cpp │ │ │ ├── exception.cpp │ │ │ └── shared_exception.cpp │ │ ├── expr │ │ │ ├── binop_op.cpp │ │ │ ├── expr.cpp │ │ │ ├── expr_binop.cpp │ │ │ ├── expr_ext.cpp │ │ │ ├── expr_sexpr.cpp │ │ │ └── expr_visitor.cpp │ │ ├── expr_cmp │ │ │ ├── cmp_op.cpp │ │ │ └── expr_cmp.cpp │ │ ├── flop.cpp │ │ ├── id │ │ │ ├── arch_id.cpp │ │ │ ├── id.cpp │ │ │ ├── id_visitor.cpp │ │ │ ├── shared_id.cpp │ │ │ └── virtual.cpp │ │ ├── linear │ │ │ ├── binop_lin_op.cpp │ │ │ ├── lin_binop.cpp │ │ │ ├── lin_imm.cpp │ │ │ ├── lin_scale.cpp │ │ │ ├── lin_var.cpp │ │ │ └── linear.cpp │ │ ├── sexpr │ │ │ ├── arbitrary.cpp │ │ │ ├── sexpr.cpp │ │ │ ├── sexpr_cmp.cpp │ │ │ ├── sexpr_lin.cpp │ │ │ └── sexpr_visitor.cpp │ │ ├── statement │ │ │ ├── assign.cpp │ │ │ ├── branch.cpp │ │ │ ├── cbranch.cpp │ │ │ ├── floating.cpp │ │ │ ├── ite.cpp │ │ │ ├── load.cpp │ │ │ ├── prim.cpp │ │ │ ├── statement.cpp │ │ │ ├── statement_visitor.cpp │ │ │ ├── store.cpp │ │ │ ├── throw.cpp │ │ │ └── while.cpp │ │ ├── variable.cpp │ │ ├── variable_limited.cpp │ │ └── visitor.cpp │ │ └── rreil_builder.cpp ├── cppgdsl_legacy │ ├── .gitignore │ ├── CMakeLists.txt │ ├── Makefile │ ├── include │ │ └── cppgdsl │ │ │ ├── block.h │ │ │ ├── frontend │ │ │ ├── bare_frontend.h │ │ │ └── frontend.h │ │ │ ├── gdsl.h │ │ │ ├── gdsl_exception.h │ │ │ ├── instruction.h │ │ │ ├── optimization.h │ │ │ ├── rreil │ │ │ ├── address.h │ │ │ ├── branch_hint.h │ │ │ ├── copy_visitor.h │ │ │ ├── exception │ │ │ │ ├── arch_exception.h │ │ │ │ ├── exception.h │ │ │ │ ├── exception_visitor.h │ │ │ │ └── shared_exception.h │ │ │ ├── expr │ │ │ │ ├── binop_op.h │ │ │ │ ├── expr.h │ │ │ │ ├── expr_binop.h │ │ │ │ ├── expr_ext.h │ │ │ │ ├── expr_sexpr.h │ │ │ │ └── expr_visitor.h │ │ │ ├── expr_cmp │ │ │ │ ├── cmp_op.h │ │ │ │ └── expr_cmp.h │ │ │ ├── flop.h │ │ │ ├── id │ │ │ │ ├── arch_id.h │ │ │ │ ├── id.h │ │ │ │ ├── id_visitor.h │ │ │ │ ├── shared_id.h │ │ │ │ └── virtual.h │ │ │ ├── linear │ │ │ │ ├── binop_lin_op.h │ │ │ │ ├── lin_binop.h │ │ │ │ ├── lin_imm.h │ │ │ │ ├── lin_scale.h │ │ │ │ ├── lin_var.h │ │ │ │ ├── linear.h │ │ │ │ └── linear_visitor.h │ │ │ ├── rreil.h │ │ │ ├── sexpr │ │ │ │ ├── arbitrary.h │ │ │ │ ├── sexpr.h │ │ │ │ ├── sexpr_cmp.h │ │ │ │ ├── sexpr_lin.h │ │ │ │ └── sexpr_visitor.h │ │ │ ├── statement │ │ │ │ ├── assign.h │ │ │ │ ├── branch.h │ │ │ │ ├── cbranch.h │ │ │ │ ├── floating.h │ │ │ │ ├── ite.h │ │ │ │ ├── load.h │ │ │ │ ├── prim.h │ │ │ │ ├── statement.h │ │ │ │ ├── statement_visitor.h │ │ │ │ ├── store.h │ │ │ │ ├── throw.h │ │ │ │ └── while.h │ │ │ ├── variable.h │ │ │ ├── variable_limited.h │ │ │ └── visitor.h │ │ │ └── rreil_builder.h │ └── src │ │ ├── block.cpp │ │ ├── frontend │ │ ├── bare_frontend.cpp │ │ └── frontend.cpp │ │ ├── gdsl.cpp │ │ ├── gdsl_exception.cpp │ │ ├── rreil │ │ ├── address.cpp │ │ ├── branch_hint.cpp │ │ ├── copy_visitor.cpp │ │ ├── exception │ │ │ ├── arch_exception.cpp │ │ │ ├── exception.cpp │ │ │ └── shared_exception.cpp │ │ ├── expr │ │ │ ├── binop_op.cpp │ │ │ ├── expr.cpp │ │ │ ├── expr_binop.cpp │ │ │ ├── expr_ext.cpp │ │ │ ├── expr_sexpr.cpp │ │ │ └── expr_visitor.cpp │ │ ├── expr_cmp │ │ │ ├── cmp_op.cpp │ │ │ └── expr_cmp.cpp │ │ ├── flop.cpp │ │ ├── id │ │ │ ├── arch_id.cpp │ │ │ ├── id.cpp │ │ │ ├── id_visitor.cpp │ │ │ ├── shared_id.cpp │ │ │ └── virtual.cpp │ │ ├── instruction.cpp │ │ ├── linear │ │ │ ├── binop_lin_op.cpp │ │ │ ├── lin_binop.cpp │ │ │ ├── lin_imm.cpp │ │ │ ├── lin_scale.cpp │ │ │ ├── lin_var.cpp │ │ │ └── linear.cpp │ │ ├── sexpr │ │ │ ├── arbitrary.cpp │ │ │ ├── sexpr.cpp │ │ │ ├── sexpr_cmp.cpp │ │ │ ├── sexpr_lin.cpp │ │ │ └── sexpr_visitor.cpp │ │ ├── statement │ │ │ ├── assign.cpp │ │ │ ├── branch.cpp │ │ │ ├── cbranch.cpp │ │ │ ├── floating.cpp │ │ │ ├── ite.cpp │ │ │ ├── load.cpp │ │ │ ├── prim.cpp │ │ │ ├── statement.cpp │ │ │ ├── statement_visitor.cpp │ │ │ ├── store.cpp │ │ │ ├── throw.cpp │ │ │ └── while.cpp │ │ ├── variable.cpp │ │ ├── variable_limited.cpp │ │ └── visitor.cpp │ │ └── rreil_builder.cpp ├── dgdsl │ ├── .gitignore │ ├── Makefile │ ├── dub.json │ ├── dub.selections.json │ └── source │ │ └── gdsl │ │ ├── frontend.d │ │ ├── gdsl.d │ │ ├── ireferable.d │ │ ├── multiplex │ │ ├── gdsl_generic.d │ │ └── multiplex.d │ │ ├── reference_manager.d │ │ └── rreil │ │ ├── builder_backend.d │ │ ├── exception │ │ ├── arch_exception.d │ │ ├── exception.d │ │ └── shared_exception.d │ │ ├── expr │ │ ├── binop.d │ │ ├── expr.d │ │ ├── extension.d │ │ └── sexpr.d │ │ ├── expr_cmp │ │ └── expr_cmp.d │ │ ├── id │ │ ├── arch_id.d │ │ ├── id.d │ │ ├── shared_id.d │ │ └── virt_id.d │ │ ├── linear │ │ ├── binop.d │ │ ├── immediate.d │ │ ├── linear.d │ │ └── scale.d │ │ ├── sexpr │ │ ├── arbitrary.d │ │ ├── expr_cmp.d │ │ ├── linear.d │ │ └── sexpr.d │ │ └── statement │ │ ├── assign.d │ │ └── statement.d ├── gdsl-multiplex-windows │ ├── .gitignore │ ├── Makefile │ └── src │ │ └── gdsl_multiplex.c ├── gdsl-multiplex │ ├── CMakeLists.txt │ ├── Makefile │ ├── include │ │ ├── gdsl_generic.h │ │ └── gdsl_multiplex.h │ └── src │ │ └── gdsl_multiplex.c ├── gdutil │ ├── CMakeLists.txt │ ├── Makefile │ ├── include │ │ ├── decoder_config.h │ │ ├── gdsl_elf.h │ │ ├── stack.h │ │ └── util.h │ └── src │ │ ├── decoder_config.c │ │ ├── gdsl_elf.c │ │ ├── stack.c │ │ └── util.c ├── gdwrap │ ├── Makefile │ ├── include │ │ └── gdwrap.h │ └── src │ │ └── gdwrap.c ├── jgdsl │ ├── .gitignore │ ├── CMakeLists.txt │ ├── Makefile │ ├── run.sh │ └── src │ │ ├── GdslTest.java │ │ ├── Program.java │ │ ├── gdsl │ │ ├── BareFrontend.java │ │ ├── Frontend.java │ │ ├── Gdsl.java │ │ ├── GdslException.java │ │ ├── HeapExpiredException.java │ │ ├── HeapUseIndicator.java │ │ ├── IFrontendConfig.java │ │ ├── IReferable.java │ │ ├── ListFrontend.java │ │ ├── ReferenceManager.java │ │ ├── ResourceUnavailableException.java │ │ ├── arch │ │ │ ├── AVRBinder.java │ │ │ ├── ArchBinder.java │ │ │ ├── ArchId.java │ │ │ ├── IConfigFlag.java │ │ │ ├── MIPSBinder.java │ │ │ ├── X86Binder.java │ │ │ └── X86ConfigFlag.java │ │ ├── asm │ │ │ ├── GeneralizerBackend.java │ │ │ ├── Instruction.java │ │ │ ├── Signedness.java │ │ │ ├── Visitor.java │ │ │ ├── annotation │ │ │ │ ├── Annotation.java │ │ │ │ ├── FunctionAnnotation.java │ │ │ │ ├── OperandAnnotation.java │ │ │ │ └── StringAnnotation.java │ │ │ ├── boundary │ │ │ │ ├── Boundary.java │ │ │ │ ├── SizeBoundary.java │ │ │ │ └── SizeOffsetBoundary.java │ │ │ └── operand │ │ │ │ ├── Annotated.java │ │ │ │ ├── Bounded.java │ │ │ │ ├── Composite.java │ │ │ │ ├── Immediate.java │ │ │ │ ├── Memory.java │ │ │ │ ├── Operand.java │ │ │ │ ├── PostOperation.java │ │ │ │ ├── PreOperation.java │ │ │ │ ├── Register.java │ │ │ │ ├── Relative.java │ │ │ │ ├── Scale.java │ │ │ │ ├── Sign.java │ │ │ │ └── Sum.java │ │ ├── decoder │ │ │ ├── Decoder.java │ │ │ ├── GdslDecodeException.java │ │ │ ├── NativeInstruction.java │ │ │ ├── OperandType.java │ │ │ └── OperandTypeVisitor.java │ │ ├── rreil │ │ │ ├── Address.java │ │ │ ├── BranchHint.java │ │ │ ├── BuilderBackend.java │ │ │ ├── DefaultLimitedVariableCollection.java │ │ │ ├── DefaultRReilBuilder.java │ │ │ ├── DefaultStatementCollection.java │ │ │ ├── Flop.java │ │ │ ├── IAddress.java │ │ │ ├── IBranchHint.java │ │ │ ├── IFlop.java │ │ │ ├── ILimitedVariable.java │ │ │ ├── IRReilBuilder.java │ │ │ ├── IRReilCollection.java │ │ │ ├── IVariable.java │ │ │ ├── LimitedVariable.java │ │ │ ├── Variable.java │ │ │ ├── exception │ │ │ │ ├── Exception.java │ │ │ │ ├── GenericArchException.java │ │ │ │ ├── IException.java │ │ │ │ └── x86 │ │ │ │ │ └── X86Exception.java │ │ │ ├── expression │ │ │ │ ├── And.java │ │ │ │ ├── Binary.java │ │ │ │ ├── Compare.java │ │ │ │ ├── CompareEqual.java │ │ │ │ ├── CompareLessOrEqualSigned.java │ │ │ │ ├── CompareLessOrEqualUnsigned.java │ │ │ │ ├── CompareLessSigned.java │ │ │ │ ├── CompareLessUnsigned.java │ │ │ │ ├── CompareNotEqual.java │ │ │ │ ├── Division.java │ │ │ │ ├── Expression.java │ │ │ │ ├── Extend.java │ │ │ │ ├── ICompare.java │ │ │ │ ├── IExpression.java │ │ │ │ ├── Modulo.java │ │ │ │ ├── Multiplication.java │ │ │ │ ├── Or.java │ │ │ │ ├── ShiftLeft.java │ │ │ │ ├── ShiftRight.java │ │ │ │ ├── ShiftRightSigned.java │ │ │ │ ├── SignExtend.java │ │ │ │ ├── SignedDivision.java │ │ │ │ ├── SignedModulo.java │ │ │ │ ├── Simple.java │ │ │ │ ├── Unary.java │ │ │ │ ├── Xor.java │ │ │ │ └── ZeroExtend.java │ │ │ ├── id │ │ │ │ ├── ArchRegister.java │ │ │ │ ├── FloatingFlags.java │ │ │ │ ├── IId.java │ │ │ │ ├── Id.java │ │ │ │ ├── VirtualEqualsId.java │ │ │ │ ├── VirtualEqualsNotId.java │ │ │ │ ├── VirtualLessOrEqualSignedId.java │ │ │ │ ├── VirtualLessOrEqualUnsignedId.java │ │ │ │ ├── VirtualLessSignedId.java │ │ │ │ ├── VirtualLessUnsignedId.java │ │ │ │ ├── VirtualTemporaryId.java │ │ │ │ └── x86 │ │ │ │ │ ├── X86Register.java │ │ │ │ │ └── X86RegisterId.java │ │ │ ├── linear │ │ │ │ ├── ILinearExpression.java │ │ │ │ ├── LinearAdditionExpression.java │ │ │ │ ├── LinearBinaryExpression.java │ │ │ │ ├── LinearExpression.java │ │ │ │ ├── LinearImmediateExpression.java │ │ │ │ ├── LinearScaleExpression.java │ │ │ │ ├── LinearSubtractionExpression.java │ │ │ │ └── LinearVariableExpression.java │ │ │ ├── sexpression │ │ │ │ ├── Arbitrary.java │ │ │ │ ├── ISimpleExpression.java │ │ │ │ ├── SimpleCompareExpression.java │ │ │ │ ├── SimpleExpression.java │ │ │ │ └── SimpleLinearExpression.java │ │ │ └── statement │ │ │ │ ├── AssignStatement.java │ │ │ │ ├── BranchStatement.java │ │ │ │ ├── ConditionalBranchStatement.java │ │ │ │ ├── FlopStatement.java │ │ │ │ ├── IStatement.java │ │ │ │ ├── IfThenElseStatement.java │ │ │ │ ├── LoadStatement.java │ │ │ │ ├── PrimitiveStatement.java │ │ │ │ ├── Statement.java │ │ │ │ ├── StoreStatement.java │ │ │ │ ├── ThrowStatement.java │ │ │ │ └── WhileStatement.java │ │ └── translator │ │ │ ├── OptimizationConfig.java │ │ │ ├── OptimizationOptions.java │ │ │ ├── RReilTranslateException.java │ │ │ ├── TranslatedBlock.java │ │ │ ├── TranslatedBlockRaw.java │ │ │ └── Translator.java │ │ ├── gdsl_BareFrontend.c │ │ ├── gdsl_BareFrontend.h │ │ ├── gdsl_Frontend.c │ │ ├── gdsl_Frontend.h │ │ ├── gdsl_Gdsl.c │ │ ├── gdsl_Gdsl.h │ │ ├── gdsl_ListFrontend.c │ │ ├── gdsl_ListFrontend.h │ │ ├── gdsl_asm_GeneralizerBackend.c │ │ ├── gdsl_asm_GeneralizerBackend.h │ │ ├── gdsl_decoder_NativeInstruction.c │ │ ├── gdsl_decoder_NativeInstruction.h │ │ ├── gdsl_rreil_BuilderBackend.c │ │ ├── gdsl_rreil_BuilderBackend.h │ │ ├── util.c │ │ └── util.h ├── memstream │ ├── CMakeLists.txt │ ├── include │ │ └── memstream.h │ └── src │ │ └── memstream.c ├── readhex │ ├── CMakeLists.txt │ ├── Makefile │ ├── include │ │ └── readhex.h │ └── src │ │ └── readhex.c ├── rreil-sim │ ├── Makefile │ ├── include │ │ ├── context.h │ │ ├── memory.h │ │ └── simulator │ │ │ ├── ops.h │ │ │ ├── regacc.h │ │ │ ├── register.h │ │ │ ├── simulator.h │ │ │ └── tracking.h │ └── src │ │ ├── context.c │ │ ├── memory.c │ │ └── simulator │ │ ├── ops.c │ │ ├── regacc.c │ │ ├── simulator.c │ │ └── tracking.c ├── rustgdsl │ ├── rreil │ │ ├── id │ │ │ ├── arch.rs │ │ │ ├── mod.rs │ │ │ ├── shared.rs │ │ │ └── virtual_.rs │ │ ├── linear │ │ │ ├── binary.rs │ │ │ └── mod.rs │ │ └── mod.rs │ └── test.rs ├── x86-generator │ ├── Makefile │ ├── include │ │ ├── generator.h │ │ ├── generator_tree.h │ │ └── x86_opcodes.h │ └── src │ │ ├── generator.c │ │ ├── generator_tree.c │ │ └── x86_opcodes.c ├── x86-tester │ ├── Makefile │ ├── include │ │ ├── executor.h │ │ ├── tbgen.h │ │ ├── tbgen_alloc.h │ │ └── tester.h │ └── src │ │ ├── executor.c │ │ ├── tbgen.c │ │ ├── tbgen_alloc.c │ │ └── tester.c └── x86 │ ├── Makefile │ ├── include │ ├── x86.h │ └── x86_features.h │ └── src │ ├── x86.c │ └── x86_features.c ├── mips.mk ├── pygdsl ├── Makefile ├── README.md ├── env ├── ida │ ├── IDAPythonExample.py │ └── spidautils.py ├── pygdsl.i ├── pygdsl_error.h ├── pygdsl_funcs.h ├── pygdsl_impl.c ├── setup.py └── tests │ ├── a.bin │ ├── multiple_instrs-expected.txt │ ├── multiple_instrs.py │ ├── single_instrs-expected.txt │ └── single_instrs.py ├── scoping.patch ├── specifications ├── arm7 │ ├── arm7-asm.ml │ ├── arm7-liveness.ml │ ├── arm7-pretty.ml │ ├── arm7-rreil-pretty.ml │ ├── arm7-rreil-registermapping.ml │ ├── arm7-rreil-translator.ml │ ├── arm7.ml │ └── instructions.txt ├── asm │ ├── asm-cif.ml │ ├── asm-pretty.ml │ └── asm.ml ├── avr │ ├── avr-asm.ml │ ├── avr-liveness.ml │ ├── avr-pretty.ml │ ├── avr-rreil-pretty.ml │ ├── avr-rreil-registermapping.ml │ ├── avr-rreil-translator.ml │ ├── avr-traverse.ml │ └── avr.ml ├── basis │ ├── bbtree.ml │ ├── prelude.ml │ └── tree-set.ml ├── mips │ ├── mips-asm.ml │ ├── mips-asm_r5.ml │ ├── mips-asm_r6.ml │ ├── mips-liveness.ml │ ├── mips-pretty.ml │ ├── mips-pretty_r5.ml │ ├── mips-pretty_r6.ml │ ├── mips-rreil-pretty.ml │ ├── mips-rreil-registermapping.ml │ ├── mips-rreil-translator.ml │ ├── mips-rreil-translator_r5.ml │ ├── mips-rreil-translator_r6.ml │ ├── mips-traverse.ml │ ├── mips-traverse_r5.ml │ ├── mips-traverse_r6.ml │ ├── mips.ml │ ├── mips_r5.ml │ └── mips_r6.ml ├── msp430 │ └── msp430.ml ├── rreil │ ├── fmap.ml │ ├── forward-subst │ │ ├── delayed-forward-subst │ │ │ ├── inline.ml │ │ │ ├── substitute.ml │ │ │ └── substmap.ml │ │ └── forward-subst │ │ │ ├── inline.ml │ │ │ ├── simplify-expressions.ml │ │ │ ├── substitute.ml │ │ │ └── substmap.ml │ ├── fusion │ │ └── fusion.ml │ ├── rreil-cif.ml │ ├── rreil-cleanup.ml │ ├── rreil-examples.ml │ ├── rreil-forward-subst.ml │ ├── rreil-liveness.ml │ ├── rreil-opt.ml │ ├── rreil-pretty.ml │ ├── rreil-translator.ml │ └── rreil.ml ├── x86-tester │ └── x86-pretty-simple.ml └── x86 │ ├── x86-asm.ml │ ├── x86-equals.ml │ ├── x86-liveness.ml │ ├── x86-pretty.ml │ ├── x86-rreil-translator-a-l.ml │ ├── x86-rreil-translator-m-z.ml │ ├── x86-rreil-translator.ml │ ├── x86-semantics-mapping-pretty.ml │ ├── x86-semantics-mapping.ml │ ├── x86-traverse.ml │ └── x86.ml ├── stale ├── Makefile-old ├── Makefile_sml ├── asm-test.s ├── dis-tool-test │ ├── binary │ │ ├── 1 │ │ ├── 2 │ │ ├── 3 │ │ ├── 4 │ │ ├── 5 │ │ ├── 6 │ │ ├── 7 │ │ ├── 8 │ │ ├── 9 │ │ ├── 10 │ │ ├── 11 │ │ ├── 12 │ │ ├── 13 │ │ ├── 14 │ │ ├── 15 │ │ └── bea │ │ │ ├── 1 │ │ │ ├── 2 │ │ │ ├── 3 │ │ │ ├── 4 │ │ │ ├── 5 │ │ │ ├── 6 │ │ │ ├── 7 │ │ │ ├── 8 │ │ │ ├── 9 │ │ │ ├── 10 │ │ │ ├── 11 │ │ │ ├── 12 │ │ │ ├── 13 │ │ │ ├── 14 │ │ │ ├── 15 │ │ │ └── template.exe │ ├── clis │ │ ├── bea │ │ │ ├── Makefile │ │ │ └── bea-cli.c │ │ ├── distorm │ │ │ ├── Makefile │ │ │ └── distorm-cli.c │ │ ├── opdis │ │ │ ├── Makefile │ │ │ └── opdis-cli.c │ │ ├── readhex │ │ │ ├── Makefile │ │ │ ├── include │ │ │ │ └── readhex.h │ │ │ └── readhex.c │ │ └── xed │ │ │ ├── Makefile │ │ │ ├── xed-cli.cpp │ │ │ └── xed-examples-ostreams.H │ ├── pex.desc │ ├── tools │ └── tools.table ├── examples │ ├── js │ │ └── pretty.js │ └── x86 │ │ ├── Makefile │ │ ├── cmp.c │ │ ├── pretty.c │ │ ├── pretty.h │ │ └── xed-cmp.c ├── gdrr │ ├── Makefile │ ├── include │ │ ├── gdrr.h │ │ ├── gdrr_arch.h │ │ ├── gdrr_arch_callbacks.h │ │ ├── gdrr_callbacks.h │ │ ├── gdrr_config.h │ │ └── gdrr_types.h │ └── src │ │ └── gdrr.c ├── liveness-example-bins │ ├── Xorg │ ├── bash │ ├── cat │ ├── echo │ ├── less │ ├── ls │ ├── mkdir │ ├── netstat │ ├── ps │ ├── pwd │ ├── rm │ ├── sed │ ├── tar │ ├── touch │ └── uname ├── liveness-example.c ├── liveness-sweep-simple.c ├── liveness-table.sh ├── liveness-test.c ├── liveness.c ├── liveness │ └── example_a.c ├── opcode-sequence-01.txt ├── opcode-sequence-02.txt ├── resweep.sh ├── sweep │ ├── Makefile │ ├── sweep-beaengine.c │ ├── sweep-dcc.c │ ├── sweep-distorm.c │ ├── sweep-libopcode.c │ ├── sweep-udis86.c │ ├── sweep-xed.c │ └── test-binary ├── tester.c └── x86-tester │ ├── opcode-extrator.c │ └── opcodes ├── stats-102013 ├── todo ├── tools ├── CMakeLists.txt ├── Makefile ├── cgdsl-demo.c ├── cppgdsl-demo.cpp ├── decoder-cli.c ├── mipseval │ ├── Makefile │ └── mipseval-cli.c ├── optimization-sweep.c ├── semantics-cif-cli.c ├── semantics-cli-dynamic.c ├── semantics-cli.c ├── semantics-opt.c ├── sweep.c ├── x86-test-runner │ ├── Makefile │ ├── src │ │ └── main.c │ └── test_cases │ │ └── delayed_fsubst_test_cases ├── x86-test-stats-runner │ ├── Makefile │ └── src │ │ ├── hash_array.c │ │ ├── hash_array.h │ │ └── main.c └── xed-cmp │ ├── Makefile │ ├── run.sh │ └── src │ └── xed-cmp.c └── x86.mk /.clang-format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/.clang-format -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitlab-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/.gitlab-ci.yml -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/LICENSE -------------------------------------------------------------------------------- /MLton-LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/MLton-LICENSE -------------------------------------------------------------------------------- /Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/Makefile.am -------------------------------------------------------------------------------- /Makefile_arm7: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/Makefile_arm7 -------------------------------------------------------------------------------- /Makefile_avr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/Makefile_avr -------------------------------------------------------------------------------- /Makefile_manual: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/Makefile_manual -------------------------------------------------------------------------------- /Makefile_mips: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/Makefile_mips -------------------------------------------------------------------------------- /Makefile_x86: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/Makefile_x86 -------------------------------------------------------------------------------- /NJ-LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/NJ-LICENSE -------------------------------------------------------------------------------- /README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/README -------------------------------------------------------------------------------- /Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/Readme.md -------------------------------------------------------------------------------- /arm.mk: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /avr.mk: -------------------------------------------------------------------------------- 1 | export GDSL_ARCH=avr 2 | -------------------------------------------------------------------------------- /bugs.udcli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/bugs.udcli -------------------------------------------------------------------------------- /config.h: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /config.mk: -------------------------------------------------------------------------------- 1 | export GDSL=gdsl 2 | -------------------------------------------------------------------------------- /configure.ac: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/configure.ac -------------------------------------------------------------------------------- /detail/closure/closure-control.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/closure/closure-control.sml -------------------------------------------------------------------------------- /detail/closure/closure-passes.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/closure/closure-passes.sml -------------------------------------------------------------------------------- /detail/closure/closure.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/closure/closure.sml -------------------------------------------------------------------------------- /detail/closure/from-cps.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/closure/from-cps.sml -------------------------------------------------------------------------------- /detail/codegen/c0/c0.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/codegen/c0/c0.sml -------------------------------------------------------------------------------- /detail/codegen/c0/runtime.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/codegen/c0/runtime.c -------------------------------------------------------------------------------- /detail/codegen/c0/runtime.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/codegen/c0/runtime.h -------------------------------------------------------------------------------- /detail/codegen/c1/c1.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/codegen/c1/c1.sml -------------------------------------------------------------------------------- /detail/codegen/c1/runtime.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/codegen/c1/runtime.c -------------------------------------------------------------------------------- /detail/codegen/c1/runtime.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/codegen/c1/runtime.h -------------------------------------------------------------------------------- /detail/codegen/codegen-control.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/codegen/codegen-control.sml -------------------------------------------------------------------------------- /detail/codegen/codegen-mangle.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/codegen/codegen-mangle.sml -------------------------------------------------------------------------------- /detail/codegen/codegen-passes.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/codegen/codegen-passes.sml -------------------------------------------------------------------------------- /detail/codegen/js0/javascript-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/codegen/js0/javascript-sig.sml -------------------------------------------------------------------------------- /detail/codegen/js0/javascript.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/codegen/js0/javascript.sml -------------------------------------------------------------------------------- /detail/codegen/js0/js0.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/codegen/js0/js0.sml -------------------------------------------------------------------------------- /detail/codegen/js0/runtime.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/codegen/js0/runtime.js -------------------------------------------------------------------------------- /detail/common/basic-control.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/common/basic-control.sml -------------------------------------------------------------------------------- /detail/common/basis.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/common/basis.sml -------------------------------------------------------------------------------- /detail/common/compilation-monad.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/common/compilation-monad.sml -------------------------------------------------------------------------------- /detail/common/error.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/common/error.sml -------------------------------------------------------------------------------- /detail/common/expand-file.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/common/expand-file.sml -------------------------------------------------------------------------------- /detail/common/float-lit.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/common/float-lit.sml -------------------------------------------------------------------------------- /detail/common/integer-lit.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/common/integer-lit.sml -------------------------------------------------------------------------------- /detail/common/layout-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/common/layout-sig.sml -------------------------------------------------------------------------------- /detail/common/layout.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/common/layout.sml -------------------------------------------------------------------------------- /detail/common/literal.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/common/literal.sml -------------------------------------------------------------------------------- /detail/common/pp.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/common/pp.sml -------------------------------------------------------------------------------- /detail/common/stamp.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/common/stamp.sml -------------------------------------------------------------------------------- /detail/common/stats.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/common/stats.sml -------------------------------------------------------------------------------- /detail/common/sum-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/common/sum-sig.sml -------------------------------------------------------------------------------- /detail/common/sum.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/common/sum.sml -------------------------------------------------------------------------------- /detail/cps/cps-control.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/cps/cps-control.sml -------------------------------------------------------------------------------- /detail/cps/cps-opt.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/cps/cps-opt.sml -------------------------------------------------------------------------------- /detail/cps/cps-passes.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/cps/cps-passes.sml -------------------------------------------------------------------------------- /detail/cps/cps.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/cps/cps.sml -------------------------------------------------------------------------------- /detail/cps/from-core.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/cps/from-core.sml -------------------------------------------------------------------------------- /detail/cps/mk-cps-pass.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/cps/mk-cps-pass.sml -------------------------------------------------------------------------------- /detail/desugar/desugar-control.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/desugar/desugar-control.sml -------------------------------------------------------------------------------- /detail/desugar/desugar-decode-syntax.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/desugar/desugar-decode-syntax.sml -------------------------------------------------------------------------------- /detail/desugar/desugar-guards.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/desugar/desugar-guards.sml -------------------------------------------------------------------------------- /detail/desugar/desugar-monadic-sequences.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/desugar/desugar-monadic-sequences.sml -------------------------------------------------------------------------------- /detail/desugar/desugar.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/desugar/desugar.sml -------------------------------------------------------------------------------- /detail/desugar/desugared-tree.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/desugar/desugared-tree.sml -------------------------------------------------------------------------------- /detail/desugar/detokenize.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/desugar/detokenize.sml -------------------------------------------------------------------------------- /detail/desugar/inline-decode-patterns.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/desugar/inline-decode-patterns.sml -------------------------------------------------------------------------------- /detail/desugar/retokenize.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/desugar/retokenize.sml -------------------------------------------------------------------------------- /detail/desugar/split-declarations.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/desugar/split-declarations.sml -------------------------------------------------------------------------------- /detail/driver/main.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/driver/main.sml -------------------------------------------------------------------------------- /detail/export.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/export.sml -------------------------------------------------------------------------------- /detail/external/mllpt-lib/MLton-LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/external/mllpt-lib/MLton-LICENSE -------------------------------------------------------------------------------- /detail/external/mllpt-lib/NJ-LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/external/mllpt-lib/NJ-LICENSE -------------------------------------------------------------------------------- /detail/external/mllpt-lib/antlr-lexer-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/external/mllpt-lib/antlr-lexer-sig.sml -------------------------------------------------------------------------------- /detail/external/mllpt-lib/antlr-tokens-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/external/mllpt-lib/antlr-tokens-sig.sml -------------------------------------------------------------------------------- /detail/external/mllpt-lib/ebnf.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/external/mllpt-lib/ebnf.sml -------------------------------------------------------------------------------- /detail/external/mllpt-lib/err-handler.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/external/mllpt-lib/err-handler.sml -------------------------------------------------------------------------------- /detail/external/mllpt-lib/ml-lpt-lib.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/external/mllpt-lib/ml-lpt-lib.cm -------------------------------------------------------------------------------- /detail/external/mllpt-lib/ml-lpt-lib.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/external/mllpt-lib/ml-lpt-lib.mlb -------------------------------------------------------------------------------- /detail/external/mllpt-lib/mllpt-lib.mlb: -------------------------------------------------------------------------------- 1 | ml-lpt-lib.mlb 2 | -------------------------------------------------------------------------------- /detail/external/mllpt-lib/repair.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/external/mllpt-lib/repair.sml -------------------------------------------------------------------------------- /detail/external/mllpt-lib/stream-pos.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/external/mllpt-lib/stream-pos.sml -------------------------------------------------------------------------------- /detail/external/mllpt-lib/ulex-buffer.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/external/mllpt-lib/ulex-buffer.sml -------------------------------------------------------------------------------- /detail/external/mllpt-lib/wrapped-strm.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/external/mllpt-lib/wrapped-strm.sml -------------------------------------------------------------------------------- /detail/imp/imp-control.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/imp/imp-control.sml -------------------------------------------------------------------------------- /detail/imp/imp-from-core.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/imp/imp-from-core.sml -------------------------------------------------------------------------------- /detail/imp/imp-opt.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/imp/imp-opt.sml -------------------------------------------------------------------------------- /detail/imp/imp-passes.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/imp/imp-passes.sml -------------------------------------------------------------------------------- /detail/imp/imp.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/imp/imp.sml -------------------------------------------------------------------------------- /detail/imp/mk-imp-pass.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/imp/mk-imp-pass.sml -------------------------------------------------------------------------------- /detail/ml/mlton/main.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/ml/mlton/main.sml -------------------------------------------------------------------------------- /detail/ml/smlnj/unsealed.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/ml/smlnj/unsealed.cm -------------------------------------------------------------------------------- /detail/parser/mk-ast.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/parser/mk-ast.sml -------------------------------------------------------------------------------- /detail/parser/parser.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/parser/parser.sml -------------------------------------------------------------------------------- /detail/parser/spec-parse-tree.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/parser/spec-parse-tree.sml -------------------------------------------------------------------------------- /detail/parser/spec.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/parser/spec.g -------------------------------------------------------------------------------- /detail/parser/spec.g.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/parser/spec.g.sml -------------------------------------------------------------------------------- /detail/parser/spec.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/parser/spec.l -------------------------------------------------------------------------------- /detail/parser/spec.l.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/parser/spec.l.sml -------------------------------------------------------------------------------- /detail/semantic/inference.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/semantic/inference.sml -------------------------------------------------------------------------------- /detail/semantic/primitives.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/semantic/primitives.sml -------------------------------------------------------------------------------- /detail/semantic/resolve-symbols.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/semantic/resolve-symbols.sml -------------------------------------------------------------------------------- /detail/semantic/resolve-type-info.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/semantic/resolve-type-info.sml -------------------------------------------------------------------------------- /detail/semantic/spec-abstract-tree.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/semantic/spec-abstract-tree.sml -------------------------------------------------------------------------------- /detail/semantic/symbol-table-type.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/semantic/symbol-table-type.sml -------------------------------------------------------------------------------- /detail/semantic/typing/boolean-domain.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/semantic/typing/boolean-domain.sml -------------------------------------------------------------------------------- /detail/semantic/typing/environment-profiling.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/semantic/typing/environment-profiling.sml -------------------------------------------------------------------------------- /detail/semantic/typing/environment.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/semantic/typing/environment.sml -------------------------------------------------------------------------------- /detail/semantic/typing/lang-types.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/semantic/typing/lang-types.sml -------------------------------------------------------------------------------- /detail/semantic/typing/size-constraint.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/semantic/typing/size-constraint.sml -------------------------------------------------------------------------------- /detail/semantic/typing/substitutions.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/semantic/typing/substitutions.sml -------------------------------------------------------------------------------- /detail/semantic/typing/tvar.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/semantic/typing/tvar.sml -------------------------------------------------------------------------------- /detail/semantic/typing/type-table.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/semantic/typing/type-table.sml -------------------------------------------------------------------------------- /detail/spec/core.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/spec/core.sml -------------------------------------------------------------------------------- /detail/spec/spec.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/detail/spec/spec.sml -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin.sdk/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/eclipse-plugin/gdsl.plugin.sdk/.project -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin.sdk/build.properties: -------------------------------------------------------------------------------- 1 | bin.includes =feature.xml 2 | -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin.sdk/category.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/eclipse-plugin/gdsl.plugin.sdk/category.xml -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin.sdk/feature.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/eclipse-plugin/gdsl.plugin.sdk/feature.xml -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin.tests/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/eclipse-plugin/gdsl.plugin.tests/.classpath -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin.tests/.gitignore: -------------------------------------------------------------------------------- 1 | /bin 2 | -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin.tests/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/eclipse-plugin/gdsl.plugin.tests/.project -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin.tests/.settings/org.eclipse.core.resources.prefs: -------------------------------------------------------------------------------- 1 | eclipse.preferences.version=1 2 | encoding/=UTF-8 3 | -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin.tests/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/eclipse-plugin/gdsl.plugin.tests/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin.tests/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/eclipse-plugin/gdsl.plugin.tests/build.properties -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin.ui/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/eclipse-plugin/gdsl.plugin.ui/.classpath -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin.ui/.gitignore: -------------------------------------------------------------------------------- 1 | /bin 2 | -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin.ui/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/eclipse-plugin/gdsl.plugin.ui/.project -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin.ui/.settings/org.eclipse.core.resources.prefs: -------------------------------------------------------------------------------- 1 | eclipse.preferences.version=1 2 | encoding/=UTF-8 3 | -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin.ui/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/eclipse-plugin/gdsl.plugin.ui/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin.ui/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/eclipse-plugin/gdsl.plugin.ui/build.properties -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin.ui/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/eclipse-plugin/gdsl.plugin.ui/plugin.xml -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin.ui/plugin.xml_gen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/eclipse-plugin/gdsl.plugin.ui/plugin.xml_gen -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin.ui/xtend-gen/gdsl/plugin/ui/contentassist/.gitignore: -------------------------------------------------------------------------------- 1 | /.GDSLProposalProvider.java._trace 2 | -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin.ui/xtend-gen/gdsl/plugin/ui/outline/.gitignore: -------------------------------------------------------------------------------- 1 | /.GDSLOutlineTreeProvider.java._trace 2 | -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin.ui/xtend-gen/gdsl/plugin/ui/quickfix/.gitignore: -------------------------------------------------------------------------------- 1 | /.GDSLQuickfixProvider.java._trace 2 | -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin/.antlr-generator-3.2.0.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/eclipse-plugin/gdsl.plugin/.antlr-generator-3.2.0.jar -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/eclipse-plugin/gdsl.plugin/.classpath -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin/.gitignore: -------------------------------------------------------------------------------- 1 | /bin 2 | -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/eclipse-plugin/gdsl.plugin/.project -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin/.settings/org.eclipse.core.resources.prefs: -------------------------------------------------------------------------------- 1 | eclipse.preferences.version=1 2 | encoding/=UTF-8 3 | -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/eclipse-plugin/gdsl.plugin/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/eclipse-plugin/gdsl.plugin/build.properties -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin/model/generated/GDSL.ecore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/eclipse-plugin/gdsl.plugin/model/generated/GDSL.ecore -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin/model/generated/GDSL.genmodel: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/eclipse-plugin/gdsl.plugin/model/generated/GDSL.genmodel -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/eclipse-plugin/gdsl.plugin/plugin.xml -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin/plugin.xml_gen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/eclipse-plugin/gdsl.plugin/plugin.xml_gen -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin/src/gdsl/plugin/GDSL.xtext: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/eclipse-plugin/gdsl.plugin/src/gdsl/plugin/GDSL.xtext -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin/xtend-gen/gdsl/plugin/formatting/.gitignore: -------------------------------------------------------------------------------- 1 | /.GDSLFormatter.java._trace 2 | -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin/xtend-gen/gdsl/plugin/generator/.gitignore: -------------------------------------------------------------------------------- 1 | /.GDSLGenerator.java._trace 2 | -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin/xtend-gen/gdsl/plugin/scoping/.gitignore: -------------------------------------------------------------------------------- 1 | /.GDSLScopeProvider.java._trace 2 | -------------------------------------------------------------------------------- /eclipse-plugin/gdsl.plugin/xtend-gen/gdsl/plugin/validation/.gitignore: -------------------------------------------------------------------------------- 1 | /.GDSLValidator.java._trace 2 | -------------------------------------------------------------------------------- /eclipse-plugin/gdslUpdateSite/artifacts.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/eclipse-plugin/gdslUpdateSite/artifacts.jar -------------------------------------------------------------------------------- /eclipse-plugin/gdslUpdateSite/content.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/eclipse-plugin/gdslUpdateSite/content.jar -------------------------------------------------------------------------------- /gdsl.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/gdsl.cm -------------------------------------------------------------------------------- /gdsl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/gdsl.h -------------------------------------------------------------------------------- /gdslConfig.cmake.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/gdslConfig.cmake.in -------------------------------------------------------------------------------- /gdslConfigVersion.cmake.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/gdslConfigVersion.cmake.in -------------------------------------------------------------------------------- /gdslc.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/gdslc.mlb -------------------------------------------------------------------------------- /include/context.h: -------------------------------------------------------------------------------- 1 | ../libs/rreil-sim/include/context.h -------------------------------------------------------------------------------- /include/cppgdsl: -------------------------------------------------------------------------------- 1 | ../libs/cppgdsl/include/cppgdsl -------------------------------------------------------------------------------- /include/decoder_config.h: -------------------------------------------------------------------------------- 1 | ../libs/gdutil/include/decoder_config.h -------------------------------------------------------------------------------- /include/executor.h: -------------------------------------------------------------------------------- 1 | ../libs/x86-tester/include/executor.h -------------------------------------------------------------------------------- /include/gdsl.h: -------------------------------------------------------------------------------- 1 | ../gdsl_manual.h -------------------------------------------------------------------------------- /include/gdsl_elf.h: -------------------------------------------------------------------------------- 1 | ../libs/gdutil/include/gdsl_elf.h -------------------------------------------------------------------------------- /include/gdsl_generic.h: -------------------------------------------------------------------------------- 1 | ../libs/gdsl-multiplex/include/gdsl_generic.h -------------------------------------------------------------------------------- /include/gdsl_multiplex.h: -------------------------------------------------------------------------------- 1 | ../libs/gdsl-multiplex/include/gdsl_multiplex.h -------------------------------------------------------------------------------- /include/gdwrap.h: -------------------------------------------------------------------------------- 1 | ../libs/gdwrap/include/gdwrap.h -------------------------------------------------------------------------------- /include/generator.h: -------------------------------------------------------------------------------- 1 | ../libs/x86-generator/include/generator.h -------------------------------------------------------------------------------- /include/generator_tree.h: -------------------------------------------------------------------------------- 1 | ../libs/x86-generator/include/generator_tree.h -------------------------------------------------------------------------------- /include/memory.h: -------------------------------------------------------------------------------- 1 | ../libs/rreil-sim/include/memory.h -------------------------------------------------------------------------------- /include/readhex.h: -------------------------------------------------------------------------------- 1 | ../libs/readhex/include/readhex.h -------------------------------------------------------------------------------- /include/rreil: -------------------------------------------------------------------------------- 1 | ../libs/cgdsl/include/rreil -------------------------------------------------------------------------------- /include/simulator: -------------------------------------------------------------------------------- 1 | ../libs/rreil-sim/include/simulator/ -------------------------------------------------------------------------------- /include/stack.h: -------------------------------------------------------------------------------- 1 | ../libs/gdutil/include/stack.h -------------------------------------------------------------------------------- /include/tbgen.h: -------------------------------------------------------------------------------- 1 | ../libs/x86-tester/include/tbgen.h -------------------------------------------------------------------------------- /include/tbgen_alloc.h: -------------------------------------------------------------------------------- 1 | ../libs/x86-tester/include/tbgen_alloc.h -------------------------------------------------------------------------------- /include/tester.h: -------------------------------------------------------------------------------- 1 | ../libs/x86-tester/include/tester.h -------------------------------------------------------------------------------- /include/util.h: -------------------------------------------------------------------------------- 1 | ../libs/gdutil/include/util.h -------------------------------------------------------------------------------- /include/x86.h: -------------------------------------------------------------------------------- 1 | ../libs/x86/include/x86.h -------------------------------------------------------------------------------- /include/x86_features.h: -------------------------------------------------------------------------------- 1 | ../libs/x86/include/x86_features.h -------------------------------------------------------------------------------- /include/x86_opcodes.h: -------------------------------------------------------------------------------- 1 | ../libs/x86-generator/include/x86_opcodes.h -------------------------------------------------------------------------------- /java_eclipse_formatting.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/java_eclipse_formatting.xml -------------------------------------------------------------------------------- /lib/libcgdsl.a: -------------------------------------------------------------------------------- 1 | ../libs/cgdsl/libcgdsl.a -------------------------------------------------------------------------------- /lib/libcppgdsl.a: -------------------------------------------------------------------------------- 1 | ../libs/cppgdsl/libcppgdsl.a -------------------------------------------------------------------------------- /lib/libgdsl-current.so: -------------------------------------------------------------------------------- 1 | ../libgdsl.so -------------------------------------------------------------------------------- /lib/libgdsl-current.so.0: -------------------------------------------------------------------------------- 1 | ../libgdsl.so -------------------------------------------------------------------------------- /lib/libgdsl-multiplex-windows.a: -------------------------------------------------------------------------------- 1 | ../libs/gdsl-multiplex-windows/libgdsl-multiplex.a -------------------------------------------------------------------------------- /lib/libgdsl-multiplex.a: -------------------------------------------------------------------------------- 1 | ../libs/gdsl-multiplex/libgdsl-multiplex.a -------------------------------------------------------------------------------- /lib/libgdsl-x86-rreil.so: -------------------------------------------------------------------------------- 1 | libgdsl-current.so -------------------------------------------------------------------------------- /lib/libgdsl.so: -------------------------------------------------------------------------------- 1 | ../libgdsl.so -------------------------------------------------------------------------------- /lib/libgdsl.so.0: -------------------------------------------------------------------------------- 1 | ../libgdsl.so -------------------------------------------------------------------------------- /lib/libgdutil.a: -------------------------------------------------------------------------------- 1 | ../libs/gdutil/libgdutil.a -------------------------------------------------------------------------------- /lib/libgdwrap.a: -------------------------------------------------------------------------------- 1 | ../libs/gdwrap/libgdwrap.a -------------------------------------------------------------------------------- /lib/libjgdsl.so: -------------------------------------------------------------------------------- 1 | ../libs/jgdsl/libjgdsl.so -------------------------------------------------------------------------------- /lib/libreadhex.a: -------------------------------------------------------------------------------- 1 | ../libs/readhex/libreadhex.a -------------------------------------------------------------------------------- /lib/librreil-sim.a: -------------------------------------------------------------------------------- 1 | ../libs/rreil-sim/librreil-sim.a -------------------------------------------------------------------------------- /lib/libx86-generator.a: -------------------------------------------------------------------------------- 1 | ../libs/x86-generator/libx86-generator.a -------------------------------------------------------------------------------- /lib/libx86-tester.a: -------------------------------------------------------------------------------- 1 | ../libs/x86-tester/libx86-tester.a -------------------------------------------------------------------------------- /lib/libx86.a: -------------------------------------------------------------------------------- 1 | ../libs/x86/libx86.a -------------------------------------------------------------------------------- /libs/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/CMakeLists.txt -------------------------------------------------------------------------------- /libs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/Makefile -------------------------------------------------------------------------------- /libs/cgdsl/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cgdsl/.gitignore -------------------------------------------------------------------------------- /libs/cgdsl/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cgdsl/Makefile -------------------------------------------------------------------------------- /libs/cgdsl/include/rreil/gdrr_builder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cgdsl/include/rreil/gdrr_builder.h -------------------------------------------------------------------------------- /libs/cgdsl/include/rreil/rreil.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cgdsl/include/rreil/rreil.h -------------------------------------------------------------------------------- /libs/cgdsl/include/rreil/rreil_address.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cgdsl/include/rreil/rreil_address.h -------------------------------------------------------------------------------- /libs/cgdsl/include/rreil/rreil_arity.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cgdsl/include/rreil/rreil_arity.h -------------------------------------------------------------------------------- /libs/cgdsl/include/rreil/rreil_branch_hint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cgdsl/include/rreil/rreil_branch_hint.h -------------------------------------------------------------------------------- /libs/cgdsl/include/rreil/rreil_comparator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cgdsl/include/rreil/rreil_comparator.h -------------------------------------------------------------------------------- /libs/cgdsl/include/rreil/rreil_copy.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cgdsl/include/rreil/rreil_copy.h -------------------------------------------------------------------------------- /libs/cgdsl/include/rreil/rreil_exception.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cgdsl/include/rreil/rreil_exception.h -------------------------------------------------------------------------------- /libs/cgdsl/include/rreil/rreil_expr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cgdsl/include/rreil/rreil_expr.h -------------------------------------------------------------------------------- /libs/cgdsl/include/rreil/rreil_flop.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cgdsl/include/rreil/rreil_flop.h -------------------------------------------------------------------------------- /libs/cgdsl/include/rreil/rreil_free.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cgdsl/include/rreil/rreil_free.h -------------------------------------------------------------------------------- /libs/cgdsl/include/rreil/rreil_id.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cgdsl/include/rreil/rreil_id.h -------------------------------------------------------------------------------- /libs/cgdsl/include/rreil/rreil_linear.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cgdsl/include/rreil/rreil_linear.h -------------------------------------------------------------------------------- /libs/cgdsl/include/rreil/rreil_print.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cgdsl/include/rreil/rreil_print.h -------------------------------------------------------------------------------- /libs/cgdsl/include/rreil/rreil_sexpr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cgdsl/include/rreil/rreil_sexpr.h -------------------------------------------------------------------------------- /libs/cgdsl/include/rreil/rreil_statement.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cgdsl/include/rreil/rreil_statement.h -------------------------------------------------------------------------------- /libs/cgdsl/include/rreil/rreil_variable.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cgdsl/include/rreil/rreil_variable.h -------------------------------------------------------------------------------- /libs/cgdsl/include/rreil/rreil_variable_limited.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cgdsl/include/rreil/rreil_variable_limited.h -------------------------------------------------------------------------------- /libs/cgdsl/src/rreil/alloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cgdsl/src/rreil/alloc.c -------------------------------------------------------------------------------- /libs/cgdsl/src/rreil/copy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cgdsl/src/rreil/copy.c -------------------------------------------------------------------------------- /libs/cgdsl/src/rreil/free.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cgdsl/src/rreil/free.c -------------------------------------------------------------------------------- /libs/cgdsl/src/rreil/gdrr_builder.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cgdsl/src/rreil/gdrr_builder.c -------------------------------------------------------------------------------- /libs/cgdsl/src/rreil/print.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cgdsl/src/rreil/print.c -------------------------------------------------------------------------------- /libs/cgdsl/src/rreil/rreil_id.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cgdsl/src/rreil/rreil_id.c -------------------------------------------------------------------------------- /libs/cppgdsl/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/CMakeLists.txt -------------------------------------------------------------------------------- /libs/cppgdsl/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/Makefile -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/arch/x86.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/arch/x86.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/asm_builder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/asm_builder.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/assembly/arch/x86/factory.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/assembly/arch/x86/factory.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/assembly/assembly.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/assembly/assembly.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/assembly/instruction.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/assembly/instruction.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/assembly/operand/rel.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/assembly/operand/rel.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/assembly/operand/scale.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/assembly/operand/scale.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/assembly/operand/sum.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/assembly/operand/sum.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/assembly/signedness.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/assembly/signedness.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/block.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/block.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/compare.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/compare.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/frontend/bare_frontend.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/frontend/bare_frontend.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/frontend/frontend.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/frontend/frontend.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/gdsl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/gdsl.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/gdsl_exception.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/gdsl_exception.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/instruction.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/instruction.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/iterator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/iterator.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/optimization.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/optimization.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/address.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/address.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/arch/x86/factory.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/arch/x86/factory.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/branch_hint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/branch_hint.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/copy_visitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/copy_visitor.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/expr/binop_op.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/expr/binop_op.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/expr/expr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/expr/expr.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/expr/expr_binop.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/expr/expr_binop.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/expr/expr_ext.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/expr/expr_ext.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/expr/expr_sexpr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/expr/expr_sexpr.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/expr_cmp/cmp_op.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/expr_cmp/cmp_op.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/flop.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/flop.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/id/arch_id.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/id/arch_id.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/id/id.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/id/id.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/id/id_visitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/id/id_visitor.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/id/shared_id.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/id/shared_id.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/id/virtual.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/id/virtual.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/linear/lin_binop.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/linear/lin_binop.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/linear/lin_imm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/linear/lin_imm.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/linear/lin_scale.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/linear/lin_scale.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/linear/lin_var.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/linear/lin_var.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/linear/linear.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/linear/linear.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/rreil.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/rreil.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/sexpr/arbitrary.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/sexpr/arbitrary.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/sexpr/sexpr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/sexpr/sexpr.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/sexpr/sexpr_cmp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/sexpr/sexpr_cmp.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/sexpr/sexpr_lin.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/sexpr/sexpr_lin.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/statement/assign.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/statement/assign.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/statement/branch.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/statement/branch.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/statement/ite.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/statement/ite.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/statement/load.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/statement/load.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/statement/prim.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/statement/prim.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/statement/store.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/statement/store.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/statement/throw.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/statement/throw.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/statement/while.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/statement/while.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/variable.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/variable.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/variable_limited.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/variable_limited.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil/visitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil/visitor.h -------------------------------------------------------------------------------- /libs/cppgdsl/include/cppgdsl/rreil_builder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/include/cppgdsl/rreil_builder.h -------------------------------------------------------------------------------- /libs/cppgdsl/src/arch/x86.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/arch/x86.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/asm_builder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/asm_builder.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/assembly/annotation/annotation.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/assembly/annotation/annotation.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/assembly/boundary/boundary.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/assembly/boundary/boundary.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/assembly/instruction.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/assembly/instruction.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/assembly/operand/annotated.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/assembly/operand/annotated.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/assembly/operand/bounded.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/assembly/operand/bounded.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/assembly/operand/composite.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/assembly/operand/composite.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/assembly/operand/immediate.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/assembly/operand/immediate.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/assembly/operand/memory.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/assembly/operand/memory.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/assembly/operand/operand.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/assembly/operand/operand.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/assembly/operand/post_op.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/assembly/operand/post_op.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/assembly/operand/pre_op.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/assembly/operand/pre_op.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/assembly/operand/register.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/assembly/operand/register.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/assembly/operand/rel.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/assembly/operand/rel.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/assembly/operand/scale.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/assembly/operand/scale.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/assembly/operand/signed.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/assembly/operand/signed.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/assembly/operand/sum.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/assembly/operand/sum.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/block.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/block.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/frontend/bare_frontend.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/frontend/bare_frontend.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/frontend/frontend.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/frontend/frontend.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/gdsl.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/gdsl.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/gdsl_exception.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/gdsl_exception.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/instruction.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/instruction.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/address.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/address.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/branch_hint.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/branch_hint.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/copy_visitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/copy_visitor.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/exception/arch_exception.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/exception/arch_exception.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/exception/exception.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/exception/exception.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/exception/shared_exception.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/exception/shared_exception.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/expr/binop_op.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/expr/binop_op.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/expr/expr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/expr/expr.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/expr/expr_binop.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/expr/expr_binop.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/expr/expr_ext.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/expr/expr_ext.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/expr/expr_sexpr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/expr/expr_sexpr.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/expr/expr_visitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/expr/expr_visitor.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/expr_cmp/cmp_op.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/expr_cmp/cmp_op.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/expr_cmp/expr_cmp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/expr_cmp/expr_cmp.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/flop.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/flop.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/id/arch_id.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/id/arch_id.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/id/id.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/id/id.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/id/id_visitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/id/id_visitor.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/id/shared_id.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/id/shared_id.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/id/virtual.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/id/virtual.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/linear/binop_lin_op.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/linear/binop_lin_op.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/linear/lin_binop.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/linear/lin_binop.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/linear/lin_imm.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/linear/lin_imm.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/linear/lin_scale.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/linear/lin_scale.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/linear/lin_var.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/linear/lin_var.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/linear/linear.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/linear/linear.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/sexpr/arbitrary.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/sexpr/arbitrary.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/sexpr/sexpr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/sexpr/sexpr.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/sexpr/sexpr_cmp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/sexpr/sexpr_cmp.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/sexpr/sexpr_lin.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/sexpr/sexpr_lin.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/sexpr/sexpr_visitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/sexpr/sexpr_visitor.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/statement/assign.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/statement/assign.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/statement/branch.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/statement/branch.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/statement/cbranch.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/statement/cbranch.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/statement/floating.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/statement/floating.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/statement/ite.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/statement/ite.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/statement/load.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/statement/load.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/statement/prim.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/statement/prim.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/statement/statement.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/statement/statement.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/statement/store.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/statement/store.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/statement/throw.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/statement/throw.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/statement/while.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/statement/while.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/variable.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/variable.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/variable_limited.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/variable_limited.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil/visitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil/visitor.cpp -------------------------------------------------------------------------------- /libs/cppgdsl/src/rreil_builder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl/src/rreil_builder.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/.gitignore: -------------------------------------------------------------------------------- 1 | /libcppgdsl.a 2 | /build/* 3 | -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/CMakeLists.txt -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/Makefile -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/include/cppgdsl/block.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/include/cppgdsl/block.h -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/include/cppgdsl/gdsl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/include/cppgdsl/gdsl.h -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/include/cppgdsl/gdsl_exception.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/include/cppgdsl/gdsl_exception.h -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/include/cppgdsl/instruction.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/include/cppgdsl/instruction.h -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/include/cppgdsl/optimization.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/include/cppgdsl/optimization.h -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/include/cppgdsl/rreil/address.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/include/cppgdsl/rreil/address.h -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/include/cppgdsl/rreil/expr/expr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/include/cppgdsl/rreil/expr/expr.h -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/include/cppgdsl/rreil/flop.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/include/cppgdsl/rreil/flop.h -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/include/cppgdsl/rreil/id/id.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/include/cppgdsl/rreil/id/id.h -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/include/cppgdsl/rreil/rreil.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/include/cppgdsl/rreil/rreil.h -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/include/cppgdsl/rreil/variable.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/include/cppgdsl/rreil/variable.h -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/include/cppgdsl/rreil/visitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/include/cppgdsl/rreil/visitor.h -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/include/cppgdsl/rreil_builder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/include/cppgdsl/rreil_builder.h -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/block.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/block.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/frontend/bare_frontend.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/frontend/bare_frontend.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/frontend/frontend.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/frontend/frontend.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/gdsl.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/gdsl.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/gdsl_exception.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/gdsl_exception.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/address.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/address.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/branch_hint.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/branch_hint.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/copy_visitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/copy_visitor.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/exception/exception.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/exception/exception.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/expr/binop_op.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/expr/binop_op.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/expr/expr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/expr/expr.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/expr/expr_binop.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/expr/expr_binop.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/expr/expr_ext.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/expr/expr_ext.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/expr/expr_sexpr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/expr/expr_sexpr.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/expr/expr_visitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/expr/expr_visitor.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/expr_cmp/cmp_op.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/expr_cmp/cmp_op.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/expr_cmp/expr_cmp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/expr_cmp/expr_cmp.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/flop.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/flop.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/id/arch_id.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/id/arch_id.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/id/id.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/id/id.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/id/id_visitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/id/id_visitor.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/id/shared_id.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/id/shared_id.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/id/virtual.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/id/virtual.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/instruction.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/instruction.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/linear/binop_lin_op.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/linear/binop_lin_op.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/linear/lin_binop.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/linear/lin_binop.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/linear/lin_imm.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/linear/lin_imm.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/linear/lin_scale.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/linear/lin_scale.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/linear/lin_var.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/linear/lin_var.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/linear/linear.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/linear/linear.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/sexpr/arbitrary.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/sexpr/arbitrary.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/sexpr/sexpr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/sexpr/sexpr.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/sexpr/sexpr_cmp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/sexpr/sexpr_cmp.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/sexpr/sexpr_lin.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/sexpr/sexpr_lin.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/sexpr/sexpr_visitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/sexpr/sexpr_visitor.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/statement/assign.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/statement/assign.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/statement/branch.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/statement/branch.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/statement/cbranch.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/statement/cbranch.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/statement/floating.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/statement/floating.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/statement/ite.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/statement/ite.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/statement/load.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/statement/load.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/statement/prim.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/statement/prim.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/statement/statement.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/statement/statement.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/statement/store.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/statement/store.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/statement/throw.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/statement/throw.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/statement/while.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/statement/while.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/variable.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/variable.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/variable_limited.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/variable_limited.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil/visitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil/visitor.cpp -------------------------------------------------------------------------------- /libs/cppgdsl_legacy/src/rreil_builder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/cppgdsl_legacy/src/rreil_builder.cpp -------------------------------------------------------------------------------- /libs/dgdsl/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/dgdsl/.gitignore -------------------------------------------------------------------------------- /libs/dgdsl/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/dgdsl/Makefile -------------------------------------------------------------------------------- /libs/dgdsl/dub.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/dgdsl/dub.json -------------------------------------------------------------------------------- /libs/dgdsl/dub.selections.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/dgdsl/dub.selections.json -------------------------------------------------------------------------------- /libs/dgdsl/source/gdsl/frontend.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/dgdsl/source/gdsl/frontend.d -------------------------------------------------------------------------------- /libs/dgdsl/source/gdsl/gdsl.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/dgdsl/source/gdsl/gdsl.d -------------------------------------------------------------------------------- /libs/dgdsl/source/gdsl/ireferable.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/dgdsl/source/gdsl/ireferable.d -------------------------------------------------------------------------------- /libs/dgdsl/source/gdsl/multiplex/gdsl_generic.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/dgdsl/source/gdsl/multiplex/gdsl_generic.d -------------------------------------------------------------------------------- /libs/dgdsl/source/gdsl/multiplex/multiplex.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/dgdsl/source/gdsl/multiplex/multiplex.d -------------------------------------------------------------------------------- /libs/dgdsl/source/gdsl/reference_manager.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/dgdsl/source/gdsl/reference_manager.d -------------------------------------------------------------------------------- /libs/dgdsl/source/gdsl/rreil/builder_backend.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/dgdsl/source/gdsl/rreil/builder_backend.d -------------------------------------------------------------------------------- /libs/dgdsl/source/gdsl/rreil/exception/exception.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/dgdsl/source/gdsl/rreil/exception/exception.d -------------------------------------------------------------------------------- /libs/dgdsl/source/gdsl/rreil/expr/binop.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/dgdsl/source/gdsl/rreil/expr/binop.d -------------------------------------------------------------------------------- /libs/dgdsl/source/gdsl/rreil/expr/expr.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/dgdsl/source/gdsl/rreil/expr/expr.d -------------------------------------------------------------------------------- /libs/dgdsl/source/gdsl/rreil/expr/extension.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/dgdsl/source/gdsl/rreil/expr/extension.d -------------------------------------------------------------------------------- /libs/dgdsl/source/gdsl/rreil/expr/sexpr.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/dgdsl/source/gdsl/rreil/expr/sexpr.d -------------------------------------------------------------------------------- /libs/dgdsl/source/gdsl/rreil/expr_cmp/expr_cmp.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/dgdsl/source/gdsl/rreil/expr_cmp/expr_cmp.d -------------------------------------------------------------------------------- /libs/dgdsl/source/gdsl/rreil/id/arch_id.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/dgdsl/source/gdsl/rreil/id/arch_id.d -------------------------------------------------------------------------------- /libs/dgdsl/source/gdsl/rreil/id/id.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/dgdsl/source/gdsl/rreil/id/id.d -------------------------------------------------------------------------------- /libs/dgdsl/source/gdsl/rreil/id/shared_id.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/dgdsl/source/gdsl/rreil/id/shared_id.d -------------------------------------------------------------------------------- /libs/dgdsl/source/gdsl/rreil/id/virt_id.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/dgdsl/source/gdsl/rreil/id/virt_id.d -------------------------------------------------------------------------------- /libs/dgdsl/source/gdsl/rreil/linear/binop.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/dgdsl/source/gdsl/rreil/linear/binop.d -------------------------------------------------------------------------------- /libs/dgdsl/source/gdsl/rreil/linear/immediate.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/dgdsl/source/gdsl/rreil/linear/immediate.d -------------------------------------------------------------------------------- /libs/dgdsl/source/gdsl/rreil/linear/linear.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/dgdsl/source/gdsl/rreil/linear/linear.d -------------------------------------------------------------------------------- /libs/dgdsl/source/gdsl/rreil/linear/scale.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/dgdsl/source/gdsl/rreil/linear/scale.d -------------------------------------------------------------------------------- /libs/dgdsl/source/gdsl/rreil/sexpr/arbitrary.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/dgdsl/source/gdsl/rreil/sexpr/arbitrary.d -------------------------------------------------------------------------------- /libs/dgdsl/source/gdsl/rreil/sexpr/expr_cmp.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/dgdsl/source/gdsl/rreil/sexpr/expr_cmp.d -------------------------------------------------------------------------------- /libs/dgdsl/source/gdsl/rreil/sexpr/linear.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/dgdsl/source/gdsl/rreil/sexpr/linear.d -------------------------------------------------------------------------------- /libs/dgdsl/source/gdsl/rreil/sexpr/sexpr.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/dgdsl/source/gdsl/rreil/sexpr/sexpr.d -------------------------------------------------------------------------------- /libs/dgdsl/source/gdsl/rreil/statement/assign.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/dgdsl/source/gdsl/rreil/statement/assign.d -------------------------------------------------------------------------------- /libs/dgdsl/source/gdsl/rreil/statement/statement.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/dgdsl/source/gdsl/rreil/statement/statement.d -------------------------------------------------------------------------------- /libs/gdsl-multiplex-windows/.gitignore: -------------------------------------------------------------------------------- 1 | /libgdsl-multiplex.a 2 | -------------------------------------------------------------------------------- /libs/gdsl-multiplex-windows/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/gdsl-multiplex-windows/Makefile -------------------------------------------------------------------------------- /libs/gdsl-multiplex-windows/src/gdsl_multiplex.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/gdsl-multiplex-windows/src/gdsl_multiplex.c -------------------------------------------------------------------------------- /libs/gdsl-multiplex/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/gdsl-multiplex/CMakeLists.txt -------------------------------------------------------------------------------- /libs/gdsl-multiplex/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/gdsl-multiplex/Makefile -------------------------------------------------------------------------------- /libs/gdsl-multiplex/include/gdsl_generic.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/gdsl-multiplex/include/gdsl_generic.h -------------------------------------------------------------------------------- /libs/gdsl-multiplex/include/gdsl_multiplex.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/gdsl-multiplex/include/gdsl_multiplex.h -------------------------------------------------------------------------------- /libs/gdsl-multiplex/src/gdsl_multiplex.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/gdsl-multiplex/src/gdsl_multiplex.c -------------------------------------------------------------------------------- /libs/gdutil/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/gdutil/CMakeLists.txt -------------------------------------------------------------------------------- /libs/gdutil/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/gdutil/Makefile -------------------------------------------------------------------------------- /libs/gdutil/include/decoder_config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/gdutil/include/decoder_config.h -------------------------------------------------------------------------------- /libs/gdutil/include/gdsl_elf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/gdutil/include/gdsl_elf.h -------------------------------------------------------------------------------- /libs/gdutil/include/stack.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/gdutil/include/stack.h -------------------------------------------------------------------------------- /libs/gdutil/include/util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/gdutil/include/util.h -------------------------------------------------------------------------------- /libs/gdutil/src/decoder_config.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/gdutil/src/decoder_config.c -------------------------------------------------------------------------------- /libs/gdutil/src/gdsl_elf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/gdutil/src/gdsl_elf.c -------------------------------------------------------------------------------- /libs/gdutil/src/stack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/gdutil/src/stack.c -------------------------------------------------------------------------------- /libs/gdutil/src/util.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/gdutil/src/util.c -------------------------------------------------------------------------------- /libs/gdwrap/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/gdwrap/Makefile -------------------------------------------------------------------------------- /libs/gdwrap/include/gdwrap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/gdwrap/include/gdwrap.h -------------------------------------------------------------------------------- /libs/gdwrap/src/gdwrap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/gdwrap/src/gdwrap.c -------------------------------------------------------------------------------- /libs/jgdsl/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/.gitignore -------------------------------------------------------------------------------- /libs/jgdsl/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/CMakeLists.txt -------------------------------------------------------------------------------- /libs/jgdsl/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/Makefile -------------------------------------------------------------------------------- /libs/jgdsl/run.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | java -ss134217728 -cp jgdsl.jar -Djava.library.path=. Program 4 | -------------------------------------------------------------------------------- /libs/jgdsl/src/GdslTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/GdslTest.java -------------------------------------------------------------------------------- /libs/jgdsl/src/Program.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/Program.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/BareFrontend.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/BareFrontend.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/Frontend.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/Frontend.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/Gdsl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/Gdsl.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/GdslException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/GdslException.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/HeapExpiredException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/HeapExpiredException.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/HeapUseIndicator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/HeapUseIndicator.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/IFrontendConfig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/IFrontendConfig.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/IReferable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/IReferable.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/ListFrontend.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/ListFrontend.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/ReferenceManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/ReferenceManager.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/ResourceUnavailableException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/ResourceUnavailableException.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/arch/AVRBinder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/arch/AVRBinder.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/arch/ArchBinder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/arch/ArchBinder.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/arch/ArchId.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/arch/ArchId.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/arch/IConfigFlag.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/arch/IConfigFlag.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/arch/MIPSBinder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/arch/MIPSBinder.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/arch/X86Binder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/arch/X86Binder.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/arch/X86ConfigFlag.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/arch/X86ConfigFlag.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/asm/GeneralizerBackend.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/asm/GeneralizerBackend.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/asm/Instruction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/asm/Instruction.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/asm/Signedness.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/asm/Signedness.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/asm/Visitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/asm/Visitor.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/asm/annotation/Annotation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/asm/annotation/Annotation.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/asm/boundary/Boundary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/asm/boundary/Boundary.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/asm/boundary/SizeBoundary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/asm/boundary/SizeBoundary.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/asm/operand/Annotated.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/asm/operand/Annotated.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/asm/operand/Bounded.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/asm/operand/Bounded.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/asm/operand/Composite.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/asm/operand/Composite.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/asm/operand/Immediate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/asm/operand/Immediate.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/asm/operand/Memory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/asm/operand/Memory.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/asm/operand/Operand.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/asm/operand/Operand.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/asm/operand/PostOperation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/asm/operand/PostOperation.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/asm/operand/PreOperation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/asm/operand/PreOperation.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/asm/operand/Register.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/asm/operand/Register.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/asm/operand/Relative.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/asm/operand/Relative.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/asm/operand/Scale.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/asm/operand/Scale.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/asm/operand/Sign.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/asm/operand/Sign.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/asm/operand/Sum.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/asm/operand/Sum.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/decoder/Decoder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/decoder/Decoder.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/decoder/GdslDecodeException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/decoder/GdslDecodeException.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/decoder/NativeInstruction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/decoder/NativeInstruction.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/decoder/OperandType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/decoder/OperandType.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/decoder/OperandTypeVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/decoder/OperandTypeVisitor.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/Address.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/Address.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/BranchHint.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/BranchHint.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/BuilderBackend.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/BuilderBackend.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/DefaultRReilBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/DefaultRReilBuilder.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/Flop.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/Flop.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/IAddress.java: -------------------------------------------------------------------------------- 1 | package gdsl.rreil; 2 | 3 | public interface IAddress { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/IBranchHint.java: -------------------------------------------------------------------------------- 1 | package gdsl.rreil; 2 | 3 | public interface IBranchHint { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/IFlop.java: -------------------------------------------------------------------------------- 1 | package gdsl.rreil; 2 | 3 | public interface IFlop { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/ILimitedVariable.java: -------------------------------------------------------------------------------- 1 | package gdsl.rreil; 2 | 3 | public interface ILimitedVariable { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/IRReilBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/IRReilBuilder.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/IRReilCollection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/IRReilCollection.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/IVariable.java: -------------------------------------------------------------------------------- 1 | package gdsl.rreil; 2 | 3 | public interface IVariable { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/LimitedVariable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/LimitedVariable.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/Variable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/Variable.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/exception/Exception.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/exception/Exception.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/exception/IException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/exception/IException.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/expression/And.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/expression/And.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/expression/Binary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/expression/Binary.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/expression/Compare.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/expression/Compare.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/expression/Division.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/expression/Division.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/expression/Expression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/expression/Expression.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/expression/Extend.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/expression/Extend.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/expression/ICompare.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/expression/ICompare.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/expression/IExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/expression/IExpression.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/expression/Modulo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/expression/Modulo.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/expression/Or.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/expression/Or.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/expression/ShiftLeft.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/expression/ShiftLeft.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/expression/ShiftRight.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/expression/ShiftRight.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/expression/SignExtend.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/expression/SignExtend.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/expression/Simple.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/expression/Simple.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/expression/Unary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/expression/Unary.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/expression/Xor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/expression/Xor.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/expression/ZeroExtend.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/expression/ZeroExtend.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/id/ArchRegister.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/id/ArchRegister.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/id/FloatingFlags.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/id/FloatingFlags.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/id/IId.java: -------------------------------------------------------------------------------- 1 | package gdsl.rreil.id; 2 | 3 | public interface IId { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/id/Id.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/id/Id.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/id/VirtualEqualsId.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/id/VirtualEqualsId.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/id/VirtualEqualsNotId.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/id/VirtualEqualsNotId.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/id/VirtualLessSignedId.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/id/VirtualLessSignedId.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/id/VirtualTemporaryId.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/id/VirtualTemporaryId.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/id/x86/X86Register.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/id/x86/X86Register.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/id/x86/X86RegisterId.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/id/x86/X86RegisterId.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/sexpression/Arbitrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/sexpression/Arbitrary.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/statement/IStatement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/statement/IStatement.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/rreil/statement/Statement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/rreil/statement/Statement.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/translator/TranslatedBlock.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/translator/TranslatedBlock.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl/translator/Translator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl/translator/Translator.java -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl_BareFrontend.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl_BareFrontend.c -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl_BareFrontend.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl_BareFrontend.h -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl_Frontend.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl_Frontend.c -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl_Frontend.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl_Frontend.h -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl_Gdsl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl_Gdsl.c -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl_Gdsl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl_Gdsl.h -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl_ListFrontend.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl_ListFrontend.c -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl_ListFrontend.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl_ListFrontend.h -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl_asm_GeneralizerBackend.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl_asm_GeneralizerBackend.c -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl_asm_GeneralizerBackend.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl_asm_GeneralizerBackend.h -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl_decoder_NativeInstruction.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl_decoder_NativeInstruction.c -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl_decoder_NativeInstruction.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl_decoder_NativeInstruction.h -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl_rreil_BuilderBackend.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl_rreil_BuilderBackend.c -------------------------------------------------------------------------------- /libs/jgdsl/src/gdsl_rreil_BuilderBackend.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/gdsl_rreil_BuilderBackend.h -------------------------------------------------------------------------------- /libs/jgdsl/src/util.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/util.c -------------------------------------------------------------------------------- /libs/jgdsl/src/util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/jgdsl/src/util.h -------------------------------------------------------------------------------- /libs/memstream/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/memstream/CMakeLists.txt -------------------------------------------------------------------------------- /libs/memstream/include/memstream.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/memstream/include/memstream.h -------------------------------------------------------------------------------- /libs/memstream/src/memstream.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/memstream/src/memstream.c -------------------------------------------------------------------------------- /libs/readhex/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/readhex/CMakeLists.txt -------------------------------------------------------------------------------- /libs/readhex/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/readhex/Makefile -------------------------------------------------------------------------------- /libs/readhex/include/readhex.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/readhex/include/readhex.h -------------------------------------------------------------------------------- /libs/readhex/src/readhex.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/readhex/src/readhex.c -------------------------------------------------------------------------------- /libs/rreil-sim/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/rreil-sim/Makefile -------------------------------------------------------------------------------- /libs/rreil-sim/include/context.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/rreil-sim/include/context.h -------------------------------------------------------------------------------- /libs/rreil-sim/include/memory.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/rreil-sim/include/memory.h -------------------------------------------------------------------------------- /libs/rreil-sim/include/simulator/ops.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/rreil-sim/include/simulator/ops.h -------------------------------------------------------------------------------- /libs/rreil-sim/include/simulator/regacc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/rreil-sim/include/simulator/regacc.h -------------------------------------------------------------------------------- /libs/rreil-sim/include/simulator/register.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/rreil-sim/include/simulator/register.h -------------------------------------------------------------------------------- /libs/rreil-sim/include/simulator/simulator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/rreil-sim/include/simulator/simulator.h -------------------------------------------------------------------------------- /libs/rreil-sim/include/simulator/tracking.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/rreil-sim/include/simulator/tracking.h -------------------------------------------------------------------------------- /libs/rreil-sim/src/context.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/rreil-sim/src/context.c -------------------------------------------------------------------------------- /libs/rreil-sim/src/memory.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/rreil-sim/src/memory.c -------------------------------------------------------------------------------- /libs/rreil-sim/src/simulator/ops.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/rreil-sim/src/simulator/ops.c -------------------------------------------------------------------------------- /libs/rreil-sim/src/simulator/regacc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/rreil-sim/src/simulator/regacc.c -------------------------------------------------------------------------------- /libs/rreil-sim/src/simulator/simulator.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/rreil-sim/src/simulator/simulator.c -------------------------------------------------------------------------------- /libs/rreil-sim/src/simulator/tracking.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/rreil-sim/src/simulator/tracking.c -------------------------------------------------------------------------------- /libs/rustgdsl/rreil/id/arch.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/rustgdsl/rreil/id/arch.rs -------------------------------------------------------------------------------- /libs/rustgdsl/rreil/id/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/rustgdsl/rreil/id/mod.rs -------------------------------------------------------------------------------- /libs/rustgdsl/rreil/id/shared.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/rustgdsl/rreil/id/shared.rs -------------------------------------------------------------------------------- /libs/rustgdsl/rreil/id/virtual_.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/rustgdsl/rreil/id/virtual_.rs -------------------------------------------------------------------------------- /libs/rustgdsl/rreil/linear/binary.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/rustgdsl/rreil/linear/binary.rs -------------------------------------------------------------------------------- /libs/rustgdsl/rreil/linear/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/rustgdsl/rreil/linear/mod.rs -------------------------------------------------------------------------------- /libs/rustgdsl/rreil/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/rustgdsl/rreil/mod.rs -------------------------------------------------------------------------------- /libs/rustgdsl/test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/rustgdsl/test.rs -------------------------------------------------------------------------------- /libs/x86-generator/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/x86-generator/Makefile -------------------------------------------------------------------------------- /libs/x86-generator/include/generator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/x86-generator/include/generator.h -------------------------------------------------------------------------------- /libs/x86-generator/include/generator_tree.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/x86-generator/include/generator_tree.h -------------------------------------------------------------------------------- /libs/x86-generator/include/x86_opcodes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/x86-generator/include/x86_opcodes.h -------------------------------------------------------------------------------- /libs/x86-generator/src/generator.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/x86-generator/src/generator.c -------------------------------------------------------------------------------- /libs/x86-generator/src/generator_tree.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/x86-generator/src/generator_tree.c -------------------------------------------------------------------------------- /libs/x86-generator/src/x86_opcodes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/x86-generator/src/x86_opcodes.c -------------------------------------------------------------------------------- /libs/x86-tester/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/x86-tester/Makefile -------------------------------------------------------------------------------- /libs/x86-tester/include/executor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/x86-tester/include/executor.h -------------------------------------------------------------------------------- /libs/x86-tester/include/tbgen.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/x86-tester/include/tbgen.h -------------------------------------------------------------------------------- /libs/x86-tester/include/tbgen_alloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/x86-tester/include/tbgen_alloc.h -------------------------------------------------------------------------------- /libs/x86-tester/include/tester.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/x86-tester/include/tester.h -------------------------------------------------------------------------------- /libs/x86-tester/src/executor.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/x86-tester/src/executor.c -------------------------------------------------------------------------------- /libs/x86-tester/src/tbgen.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/x86-tester/src/tbgen.c -------------------------------------------------------------------------------- /libs/x86-tester/src/tbgen_alloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/x86-tester/src/tbgen_alloc.c -------------------------------------------------------------------------------- /libs/x86-tester/src/tester.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/x86-tester/src/tester.c -------------------------------------------------------------------------------- /libs/x86/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/x86/Makefile -------------------------------------------------------------------------------- /libs/x86/include/x86.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/x86/include/x86.h -------------------------------------------------------------------------------- /libs/x86/include/x86_features.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/x86/include/x86_features.h -------------------------------------------------------------------------------- /libs/x86/src/x86.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/x86/src/x86.c -------------------------------------------------------------------------------- /libs/x86/src/x86_features.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/libs/x86/src/x86_features.c -------------------------------------------------------------------------------- /mips.mk: -------------------------------------------------------------------------------- 1 | export GDSL_ARCH=mips 2 | -------------------------------------------------------------------------------- /pygdsl/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/pygdsl/Makefile -------------------------------------------------------------------------------- /pygdsl/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/pygdsl/README.md -------------------------------------------------------------------------------- /pygdsl/env: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/pygdsl/env -------------------------------------------------------------------------------- /pygdsl/ida/IDAPythonExample.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/pygdsl/ida/IDAPythonExample.py -------------------------------------------------------------------------------- /pygdsl/ida/spidautils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/pygdsl/ida/spidautils.py -------------------------------------------------------------------------------- /pygdsl/pygdsl.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/pygdsl/pygdsl.i -------------------------------------------------------------------------------- /pygdsl/pygdsl_error.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/pygdsl/pygdsl_error.h -------------------------------------------------------------------------------- /pygdsl/pygdsl_funcs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/pygdsl/pygdsl_funcs.h -------------------------------------------------------------------------------- /pygdsl/pygdsl_impl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/pygdsl/pygdsl_impl.c -------------------------------------------------------------------------------- /pygdsl/setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/pygdsl/setup.py -------------------------------------------------------------------------------- /pygdsl/tests/a.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/pygdsl/tests/a.bin -------------------------------------------------------------------------------- /pygdsl/tests/multiple_instrs-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/pygdsl/tests/multiple_instrs-expected.txt -------------------------------------------------------------------------------- /pygdsl/tests/multiple_instrs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/pygdsl/tests/multiple_instrs.py -------------------------------------------------------------------------------- /pygdsl/tests/single_instrs-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/pygdsl/tests/single_instrs-expected.txt -------------------------------------------------------------------------------- /pygdsl/tests/single_instrs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/pygdsl/tests/single_instrs.py -------------------------------------------------------------------------------- /scoping.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/scoping.patch -------------------------------------------------------------------------------- /specifications/arm7/arm7-asm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/arm7/arm7-asm.ml -------------------------------------------------------------------------------- /specifications/arm7/arm7-liveness.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/arm7/arm7-liveness.ml -------------------------------------------------------------------------------- /specifications/arm7/arm7-pretty.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/arm7/arm7-pretty.ml -------------------------------------------------------------------------------- /specifications/arm7/arm7-rreil-pretty.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/arm7/arm7-rreil-pretty.ml -------------------------------------------------------------------------------- /specifications/arm7/arm7-rreil-registermapping.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/arm7/arm7-rreil-registermapping.ml -------------------------------------------------------------------------------- /specifications/arm7/arm7-rreil-translator.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/arm7/arm7-rreil-translator.ml -------------------------------------------------------------------------------- /specifications/arm7/arm7.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/arm7/arm7.ml -------------------------------------------------------------------------------- /specifications/arm7/instructions.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/arm7/instructions.txt -------------------------------------------------------------------------------- /specifications/asm/asm-cif.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/asm/asm-cif.ml -------------------------------------------------------------------------------- /specifications/asm/asm-pretty.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/asm/asm-pretty.ml -------------------------------------------------------------------------------- /specifications/asm/asm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/asm/asm.ml -------------------------------------------------------------------------------- /specifications/avr/avr-asm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/avr/avr-asm.ml -------------------------------------------------------------------------------- /specifications/avr/avr-liveness.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/avr/avr-liveness.ml -------------------------------------------------------------------------------- /specifications/avr/avr-pretty.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/avr/avr-pretty.ml -------------------------------------------------------------------------------- /specifications/avr/avr-rreil-pretty.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/avr/avr-rreil-pretty.ml -------------------------------------------------------------------------------- /specifications/avr/avr-rreil-registermapping.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/avr/avr-rreil-registermapping.ml -------------------------------------------------------------------------------- /specifications/avr/avr-rreil-translator.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/avr/avr-rreil-translator.ml -------------------------------------------------------------------------------- /specifications/avr/avr-traverse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/avr/avr-traverse.ml -------------------------------------------------------------------------------- /specifications/avr/avr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/avr/avr.ml -------------------------------------------------------------------------------- /specifications/basis/bbtree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/basis/bbtree.ml -------------------------------------------------------------------------------- /specifications/basis/prelude.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/basis/prelude.ml -------------------------------------------------------------------------------- /specifications/basis/tree-set.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/basis/tree-set.ml -------------------------------------------------------------------------------- /specifications/mips/mips-asm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/mips/mips-asm.ml -------------------------------------------------------------------------------- /specifications/mips/mips-asm_r5.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/mips/mips-asm_r5.ml -------------------------------------------------------------------------------- /specifications/mips/mips-asm_r6.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/mips/mips-asm_r6.ml -------------------------------------------------------------------------------- /specifications/mips/mips-liveness.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/mips/mips-liveness.ml -------------------------------------------------------------------------------- /specifications/mips/mips-pretty.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/mips/mips-pretty.ml -------------------------------------------------------------------------------- /specifications/mips/mips-pretty_r5.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/mips/mips-pretty_r5.ml -------------------------------------------------------------------------------- /specifications/mips/mips-pretty_r6.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/mips/mips-pretty_r6.ml -------------------------------------------------------------------------------- /specifications/mips/mips-rreil-pretty.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/mips/mips-rreil-pretty.ml -------------------------------------------------------------------------------- /specifications/mips/mips-rreil-registermapping.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/mips/mips-rreil-registermapping.ml -------------------------------------------------------------------------------- /specifications/mips/mips-rreil-translator.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/mips/mips-rreil-translator.ml -------------------------------------------------------------------------------- /specifications/mips/mips-rreil-translator_r5.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/mips/mips-rreil-translator_r5.ml -------------------------------------------------------------------------------- /specifications/mips/mips-rreil-translator_r6.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/mips/mips-rreil-translator_r6.ml -------------------------------------------------------------------------------- /specifications/mips/mips-traverse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/mips/mips-traverse.ml -------------------------------------------------------------------------------- /specifications/mips/mips-traverse_r5.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/mips/mips-traverse_r5.ml -------------------------------------------------------------------------------- /specifications/mips/mips-traverse_r6.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/mips/mips-traverse_r6.ml -------------------------------------------------------------------------------- /specifications/mips/mips.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/mips/mips.ml -------------------------------------------------------------------------------- /specifications/mips/mips_r5.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/mips/mips_r5.ml -------------------------------------------------------------------------------- /specifications/mips/mips_r6.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/mips/mips_r6.ml -------------------------------------------------------------------------------- /specifications/msp430/msp430.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/msp430/msp430.ml -------------------------------------------------------------------------------- /specifications/rreil/fmap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/rreil/fmap.ml -------------------------------------------------------------------------------- /specifications/rreil/fusion/fusion.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/rreil/fusion/fusion.ml -------------------------------------------------------------------------------- /specifications/rreil/rreil-cif.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/rreil/rreil-cif.ml -------------------------------------------------------------------------------- /specifications/rreil/rreil-cleanup.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/rreil/rreil-cleanup.ml -------------------------------------------------------------------------------- /specifications/rreil/rreil-examples.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/rreil/rreil-examples.ml -------------------------------------------------------------------------------- /specifications/rreil/rreil-forward-subst.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/rreil/rreil-forward-subst.ml -------------------------------------------------------------------------------- /specifications/rreil/rreil-liveness.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/rreil/rreil-liveness.ml -------------------------------------------------------------------------------- /specifications/rreil/rreil-opt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/rreil/rreil-opt.ml -------------------------------------------------------------------------------- /specifications/rreil/rreil-pretty.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/rreil/rreil-pretty.ml -------------------------------------------------------------------------------- /specifications/rreil/rreil-translator.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/rreil/rreil-translator.ml -------------------------------------------------------------------------------- /specifications/rreil/rreil.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/rreil/rreil.ml -------------------------------------------------------------------------------- /specifications/x86-tester/x86-pretty-simple.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/x86-tester/x86-pretty-simple.ml -------------------------------------------------------------------------------- /specifications/x86/x86-asm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/x86/x86-asm.ml -------------------------------------------------------------------------------- /specifications/x86/x86-equals.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/x86/x86-equals.ml -------------------------------------------------------------------------------- /specifications/x86/x86-liveness.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/x86/x86-liveness.ml -------------------------------------------------------------------------------- /specifications/x86/x86-pretty.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/x86/x86-pretty.ml -------------------------------------------------------------------------------- /specifications/x86/x86-rreil-translator-a-l.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/x86/x86-rreil-translator-a-l.ml -------------------------------------------------------------------------------- /specifications/x86/x86-rreil-translator-m-z.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/x86/x86-rreil-translator-m-z.ml -------------------------------------------------------------------------------- /specifications/x86/x86-rreil-translator.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/x86/x86-rreil-translator.ml -------------------------------------------------------------------------------- /specifications/x86/x86-semantics-mapping-pretty.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/x86/x86-semantics-mapping-pretty.ml -------------------------------------------------------------------------------- /specifications/x86/x86-semantics-mapping.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/x86/x86-semantics-mapping.ml -------------------------------------------------------------------------------- /specifications/x86/x86-traverse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/x86/x86-traverse.ml -------------------------------------------------------------------------------- /specifications/x86/x86.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/specifications/x86/x86.ml -------------------------------------------------------------------------------- /stale/Makefile-old: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/Makefile-old -------------------------------------------------------------------------------- /stale/Makefile_sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/Makefile_sml -------------------------------------------------------------------------------- /stale/asm-test.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/asm-test.s -------------------------------------------------------------------------------- /stale/dis-tool-test/binary/1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/binary/1 -------------------------------------------------------------------------------- /stale/dis-tool-test/binary/10: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/binary/10 -------------------------------------------------------------------------------- /stale/dis-tool-test/binary/11: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/binary/11 -------------------------------------------------------------------------------- /stale/dis-tool-test/binary/12: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/binary/12 -------------------------------------------------------------------------------- /stale/dis-tool-test/binary/13: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/binary/13 -------------------------------------------------------------------------------- /stale/dis-tool-test/binary/14: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/binary/14 -------------------------------------------------------------------------------- /stale/dis-tool-test/binary/15: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/binary/15 -------------------------------------------------------------------------------- /stale/dis-tool-test/binary/2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/binary/2 -------------------------------------------------------------------------------- /stale/dis-tool-test/binary/3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/binary/3 -------------------------------------------------------------------------------- /stale/dis-tool-test/binary/4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/binary/4 -------------------------------------------------------------------------------- /stale/dis-tool-test/binary/5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/binary/5 -------------------------------------------------------------------------------- /stale/dis-tool-test/binary/6: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/binary/6 -------------------------------------------------------------------------------- /stale/dis-tool-test/binary/7: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/binary/7 -------------------------------------------------------------------------------- /stale/dis-tool-test/binary/8: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/binary/8 -------------------------------------------------------------------------------- /stale/dis-tool-test/binary/9: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/binary/9 -------------------------------------------------------------------------------- /stale/dis-tool-test/binary/bea/1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/binary/bea/1 -------------------------------------------------------------------------------- /stale/dis-tool-test/binary/bea/10: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/binary/bea/10 -------------------------------------------------------------------------------- /stale/dis-tool-test/binary/bea/11: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/binary/bea/11 -------------------------------------------------------------------------------- /stale/dis-tool-test/binary/bea/12: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/binary/bea/12 -------------------------------------------------------------------------------- /stale/dis-tool-test/binary/bea/13: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/binary/bea/13 -------------------------------------------------------------------------------- /stale/dis-tool-test/binary/bea/14: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/binary/bea/14 -------------------------------------------------------------------------------- /stale/dis-tool-test/binary/bea/15: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/binary/bea/15 -------------------------------------------------------------------------------- /stale/dis-tool-test/binary/bea/2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/binary/bea/2 -------------------------------------------------------------------------------- /stale/dis-tool-test/binary/bea/3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/binary/bea/3 -------------------------------------------------------------------------------- /stale/dis-tool-test/binary/bea/4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/binary/bea/4 -------------------------------------------------------------------------------- /stale/dis-tool-test/binary/bea/5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/binary/bea/5 -------------------------------------------------------------------------------- /stale/dis-tool-test/binary/bea/6: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/binary/bea/6 -------------------------------------------------------------------------------- /stale/dis-tool-test/binary/bea/7: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/binary/bea/7 -------------------------------------------------------------------------------- /stale/dis-tool-test/binary/bea/8: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/binary/bea/8 -------------------------------------------------------------------------------- /stale/dis-tool-test/binary/bea/9: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/binary/bea/9 -------------------------------------------------------------------------------- /stale/dis-tool-test/binary/bea/template.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/binary/bea/template.exe -------------------------------------------------------------------------------- /stale/dis-tool-test/clis/bea/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/clis/bea/Makefile -------------------------------------------------------------------------------- /stale/dis-tool-test/clis/bea/bea-cli.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/clis/bea/bea-cli.c -------------------------------------------------------------------------------- /stale/dis-tool-test/clis/distorm/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/clis/distorm/Makefile -------------------------------------------------------------------------------- /stale/dis-tool-test/clis/distorm/distorm-cli.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/clis/distorm/distorm-cli.c -------------------------------------------------------------------------------- /stale/dis-tool-test/clis/opdis/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/clis/opdis/Makefile -------------------------------------------------------------------------------- /stale/dis-tool-test/clis/opdis/opdis-cli.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/clis/opdis/opdis-cli.c -------------------------------------------------------------------------------- /stale/dis-tool-test/clis/readhex/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/clis/readhex/Makefile -------------------------------------------------------------------------------- /stale/dis-tool-test/clis/readhex/include/readhex.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/clis/readhex/include/readhex.h -------------------------------------------------------------------------------- /stale/dis-tool-test/clis/readhex/readhex.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/clis/readhex/readhex.c -------------------------------------------------------------------------------- /stale/dis-tool-test/clis/xed/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/clis/xed/Makefile -------------------------------------------------------------------------------- /stale/dis-tool-test/clis/xed/xed-cli.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/clis/xed/xed-cli.cpp -------------------------------------------------------------------------------- /stale/dis-tool-test/clis/xed/xed-examples-ostreams.H: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/clis/xed/xed-examples-ostreams.H -------------------------------------------------------------------------------- /stale/dis-tool-test/pex.desc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/pex.desc -------------------------------------------------------------------------------- /stale/dis-tool-test/tools: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/tools -------------------------------------------------------------------------------- /stale/dis-tool-test/tools.table: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/dis-tool-test/tools.table -------------------------------------------------------------------------------- /stale/examples/js/pretty.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/examples/js/pretty.js -------------------------------------------------------------------------------- /stale/examples/x86/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/examples/x86/Makefile -------------------------------------------------------------------------------- /stale/examples/x86/cmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/examples/x86/cmp.c -------------------------------------------------------------------------------- /stale/examples/x86/pretty.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/examples/x86/pretty.c -------------------------------------------------------------------------------- /stale/examples/x86/pretty.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/examples/x86/pretty.h -------------------------------------------------------------------------------- /stale/examples/x86/xed-cmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/examples/x86/xed-cmp.c -------------------------------------------------------------------------------- /stale/gdrr/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/gdrr/Makefile -------------------------------------------------------------------------------- /stale/gdrr/include/gdrr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/gdrr/include/gdrr.h -------------------------------------------------------------------------------- /stale/gdrr/include/gdrr_arch.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/gdrr/include/gdrr_arch.h -------------------------------------------------------------------------------- /stale/gdrr/include/gdrr_arch_callbacks.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/gdrr/include/gdrr_arch_callbacks.h -------------------------------------------------------------------------------- /stale/gdrr/include/gdrr_callbacks.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/gdrr/include/gdrr_callbacks.h -------------------------------------------------------------------------------- /stale/gdrr/include/gdrr_config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/gdrr/include/gdrr_config.h -------------------------------------------------------------------------------- /stale/gdrr/include/gdrr_types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/gdrr/include/gdrr_types.h -------------------------------------------------------------------------------- /stale/gdrr/src/gdrr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/gdrr/src/gdrr.c -------------------------------------------------------------------------------- /stale/liveness-example-bins/Xorg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/liveness-example-bins/Xorg -------------------------------------------------------------------------------- /stale/liveness-example-bins/bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/liveness-example-bins/bash -------------------------------------------------------------------------------- /stale/liveness-example-bins/cat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/liveness-example-bins/cat -------------------------------------------------------------------------------- /stale/liveness-example-bins/echo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/liveness-example-bins/echo -------------------------------------------------------------------------------- /stale/liveness-example-bins/less: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/liveness-example-bins/less -------------------------------------------------------------------------------- /stale/liveness-example-bins/ls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/liveness-example-bins/ls -------------------------------------------------------------------------------- /stale/liveness-example-bins/mkdir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/liveness-example-bins/mkdir -------------------------------------------------------------------------------- /stale/liveness-example-bins/netstat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/liveness-example-bins/netstat -------------------------------------------------------------------------------- /stale/liveness-example-bins/ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/liveness-example-bins/ps -------------------------------------------------------------------------------- /stale/liveness-example-bins/pwd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/liveness-example-bins/pwd -------------------------------------------------------------------------------- /stale/liveness-example-bins/rm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/liveness-example-bins/rm -------------------------------------------------------------------------------- /stale/liveness-example-bins/sed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/liveness-example-bins/sed -------------------------------------------------------------------------------- /stale/liveness-example-bins/tar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/liveness-example-bins/tar -------------------------------------------------------------------------------- /stale/liveness-example-bins/touch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/liveness-example-bins/touch -------------------------------------------------------------------------------- /stale/liveness-example-bins/uname: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/liveness-example-bins/uname -------------------------------------------------------------------------------- /stale/liveness-example.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/liveness-example.c -------------------------------------------------------------------------------- /stale/liveness-sweep-simple.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/liveness-sweep-simple.c -------------------------------------------------------------------------------- /stale/liveness-table.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/liveness-table.sh -------------------------------------------------------------------------------- /stale/liveness-test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/liveness-test.c -------------------------------------------------------------------------------- /stale/liveness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/liveness.c -------------------------------------------------------------------------------- /stale/liveness/example_a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/liveness/example_a.c -------------------------------------------------------------------------------- /stale/opcode-sequence-01.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/opcode-sequence-01.txt -------------------------------------------------------------------------------- /stale/opcode-sequence-02.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/opcode-sequence-02.txt -------------------------------------------------------------------------------- /stale/resweep.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/resweep.sh -------------------------------------------------------------------------------- /stale/sweep/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/sweep/Makefile -------------------------------------------------------------------------------- /stale/sweep/sweep-beaengine.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/sweep/sweep-beaengine.c -------------------------------------------------------------------------------- /stale/sweep/sweep-dcc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/sweep/sweep-dcc.c -------------------------------------------------------------------------------- /stale/sweep/sweep-distorm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/sweep/sweep-distorm.c -------------------------------------------------------------------------------- /stale/sweep/sweep-libopcode.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/sweep/sweep-libopcode.c -------------------------------------------------------------------------------- /stale/sweep/sweep-udis86.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/sweep/sweep-udis86.c -------------------------------------------------------------------------------- /stale/sweep/sweep-xed.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/sweep/sweep-xed.c -------------------------------------------------------------------------------- /stale/sweep/test-binary: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/sweep/test-binary -------------------------------------------------------------------------------- /stale/tester.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/tester.c -------------------------------------------------------------------------------- /stale/x86-tester/opcode-extrator.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/x86-tester/opcode-extrator.c -------------------------------------------------------------------------------- /stale/x86-tester/opcodes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stale/x86-tester/opcodes -------------------------------------------------------------------------------- /stats-102013: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/stats-102013 -------------------------------------------------------------------------------- /todo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/todo -------------------------------------------------------------------------------- /tools/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/tools/CMakeLists.txt -------------------------------------------------------------------------------- /tools/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/tools/Makefile -------------------------------------------------------------------------------- /tools/cgdsl-demo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/tools/cgdsl-demo.c -------------------------------------------------------------------------------- /tools/cppgdsl-demo.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/tools/cppgdsl-demo.cpp -------------------------------------------------------------------------------- /tools/decoder-cli.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/tools/decoder-cli.c -------------------------------------------------------------------------------- /tools/mipseval/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/tools/mipseval/Makefile -------------------------------------------------------------------------------- /tools/mipseval/mipseval-cli.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/tools/mipseval/mipseval-cli.c -------------------------------------------------------------------------------- /tools/optimization-sweep.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/tools/optimization-sweep.c -------------------------------------------------------------------------------- /tools/semantics-cif-cli.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/tools/semantics-cif-cli.c -------------------------------------------------------------------------------- /tools/semantics-cli-dynamic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/tools/semantics-cli-dynamic.c -------------------------------------------------------------------------------- /tools/semantics-cli.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/tools/semantics-cli.c -------------------------------------------------------------------------------- /tools/semantics-opt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/tools/semantics-opt.c -------------------------------------------------------------------------------- /tools/sweep.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/tools/sweep.c -------------------------------------------------------------------------------- /tools/x86-test-runner/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/tools/x86-test-runner/Makefile -------------------------------------------------------------------------------- /tools/x86-test-runner/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/tools/x86-test-runner/src/main.c -------------------------------------------------------------------------------- /tools/x86-test-stats-runner/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/tools/x86-test-stats-runner/Makefile -------------------------------------------------------------------------------- /tools/x86-test-stats-runner/src/hash_array.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/tools/x86-test-stats-runner/src/hash_array.c -------------------------------------------------------------------------------- /tools/x86-test-stats-runner/src/hash_array.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/tools/x86-test-stats-runner/src/hash_array.h -------------------------------------------------------------------------------- /tools/x86-test-stats-runner/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/tools/x86-test-stats-runner/src/main.c -------------------------------------------------------------------------------- /tools/xed-cmp/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/tools/xed-cmp/Makefile -------------------------------------------------------------------------------- /tools/xed-cmp/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/tools/xed-cmp/run.sh -------------------------------------------------------------------------------- /tools/xed-cmp/src/xed-cmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdslang/gdsl-toolkit/HEAD/tools/xed-cmp/src/xed-cmp.c -------------------------------------------------------------------------------- /x86.mk: -------------------------------------------------------------------------------- 1 | export GDSL_ARCH=x86 2 | --------------------------------------------------------------------------------