├── .cmake-lint.yaml ├── .dockerignore ├── .env ├── .flake8 ├── .github └── workflows │ ├── build.yml │ └── tests.yml ├── .gitignore ├── .gitlab-ci.yml ├── .gitmodules ├── .hadolint.yaml ├── .pylintrc ├── .shellcheckrc ├── Dockerfile ├── LICENSE ├── README.md ├── ci ├── README.md ├── gha-docker-build ├── git_archive.sh ├── on-stable.sh └── ssh.sh ├── cli-requirements.txt ├── conftest.py ├── default-signatures.yml ├── dev-requirements.txt ├── doc ├── api │ └── index.rst ├── architecture.rst ├── assets │ ├── challenge-broker1.png │ ├── challenge-broker2.png │ ├── challenge-broker3.png │ ├── create-notebook.png │ ├── dashboard-builds.png │ ├── dashboard-pois.png │ ├── flowfinder-base.png │ ├── flowfinder-card_panel_labeled.png │ ├── flowfinder-context_menu.png │ ├── flowfinder-expanded_function_collapsed_lines.png │ ├── flowfinder-graph_labeled.png │ ├── flowfinder-overview.jpg │ ├── flowfinder-panels.png │ ├── flowfinder-right_panel_labeled.png │ ├── flowfinder-slice_example.png │ ├── flowfinder-usage.png │ ├── get-build-id.png │ ├── jupyter-list-usagefinder.png │ ├── mate-architecture.jpg │ ├── mate-dashboard-notebooks.png │ ├── mate-workflow.png │ ├── notebook-load-graph.jpg │ ├── notebook-node-example.png │ ├── notebook-overview.jpg │ ├── rename-notebook.jpg │ ├── tob-tool-graph.png │ ├── uc-manticore.jpg │ ├── usagefinder-all-features-table.png │ ├── usagefinder-collapsed.png │ ├── usagefinder-function-selection.png │ ├── usagefinder-relevant-conditionals.png │ ├── usagefinder-run-all.png │ ├── usagefinder-select-cpg.png │ ├── usagefinder-select-location.png │ ├── usagefinder-select-pairs.png │ ├── usagefinder-start-here.png │ ├── usagefinder-start-visualization.png │ ├── usagefinder-widgets.png │ └── usagefinder-zoom-table.png ├── cli-overview.rst ├── cli.rst ├── conf.py ├── cpg.rst ├── debugging-builds.rst ├── dwarfcore.rst ├── environment.rst ├── hacking.rst ├── include │ ├── comparison-table.html │ ├── tutorial-iframe.html │ ├── tutorial-shared.rst │ └── ui-walkthrough-iframe.html ├── index.rst ├── legal.rst ├── mantiserve.rst ├── overview.rst ├── pois.rst ├── quickstart.rst ├── schemata │ ├── cpg.rst.mustache │ ├── diagram.py │ └── mustache.py ├── signatures.rst ├── testing.rst ├── trace.rst ├── tutorial-flowfinder.rst ├── tutorial-notebooks.rst ├── ui-walkthrough.rst ├── under-constrained-manticore.rst ├── usagefinder.rst ├── using-flowfinder.rst ├── using-notebooks.rst └── using-rest-api.rst ├── docker-compose.clients.yml ├── docker-compose.large.yml ├── docker-compose.notebook.yml ├── docker-compose.test.yml ├── docker-compose.ui.dev.yml ├── docker-compose.ui.yml ├── docker-compose.yml ├── dwarfcore ├── README.md ├── dwarfcore │ ├── __init__.py │ ├── detectors │ │ ├── __init__.py │ │ ├── common.py │ │ ├── dwarf_variables.py │ │ ├── heap_oob.py │ │ ├── testing.py │ │ ├── uaf.py │ │ └── uninitialized_stack_variable.py │ ├── dwarfcore.py │ ├── examples │ │ ├── example_heap_detect.py │ │ ├── example_trace_general.py │ │ ├── example_uninit_variable_use_detect.py │ │ └── example_variable_general.py │ ├── helper.py │ ├── logging.py │ ├── plugins │ │ ├── __init__.py │ │ ├── dwarf_trace.py │ │ ├── dwarf_track_variables.py │ │ ├── heap_common.py │ │ └── under_constrained_symex │ │ │ ├── __init__.py │ │ │ ├── dwarf_helper.py │ │ │ ├── errors.py │ │ │ ├── exceptions.py │ │ │ ├── logging.py │ │ │ ├── plugin.py │ │ │ ├── smt.py │ │ │ ├── uc_platform.py │ │ │ └── user_constraints.py │ └── utils.py ├── mypy.ini └── setup.py ├── dwarflang ├── .gitignore ├── README.md ├── dwarflang │ ├── __init__.py │ ├── ast.py │ ├── decoder.py │ ├── enums.py │ ├── eval │ │ ├── __init__.py │ │ └── base.py │ └── fold.py ├── mypy.ini ├── setup.py └── test │ ├── eval_test.py │ └── fold_test.py ├── frontend ├── .bellybutton.yml ├── mate-cli │ ├── .gitignore │ ├── README.md │ ├── mate_cli │ │ ├── __init__.py │ │ └── cli.py │ ├── mypy.ini │ ├── requirements.txt │ └── setup.py ├── mate-common │ ├── .gitignore │ ├── README.md │ ├── dev │ │ └── gen_intrinsics.py │ ├── mate_common │ │ ├── __init__.py │ │ ├── assertions.py │ │ ├── config.py │ │ ├── datastructures │ │ │ ├── __init__.py │ │ │ ├── dict_utils.py │ │ │ ├── digraph.py │ │ │ ├── list_utils.py │ │ │ └── priority_queue.py │ │ ├── error.py │ │ ├── models │ │ │ ├── __init__.py │ │ │ ├── analyses.py │ │ │ ├── artifacts.py │ │ │ ├── builds.py │ │ │ ├── bytes.py │ │ │ ├── challenge_broker.py │ │ │ ├── compilations.py │ │ │ ├── cpg_types │ │ │ │ ├── __init__.py │ │ │ │ ├── bin.py │ │ │ │ ├── dwarf.py │ │ │ │ ├── intrinsics.py │ │ │ │ ├── llvm.py │ │ │ │ ├── mate.py │ │ │ │ └── mc.py │ │ │ ├── graphs.py │ │ │ ├── integration.py │ │ │ └── manticore.py │ │ ├── schemata.py │ │ ├── schemata │ │ │ ├── README │ │ │ ├── edges.json │ │ │ ├── endpoints.json │ │ │ ├── nodes.json │ │ │ ├── relationships.json │ │ │ └── signatures.json │ │ ├── state_machine.py │ │ └── utils.py │ ├── mypy.ini │ ├── requirements.txt │ └── setup.py ├── mate-query │ ├── README.md │ ├── mate_query │ │ ├── __init__.py │ │ ├── cfl.py │ │ ├── config.py │ │ ├── cpg │ │ │ ├── __init__.py │ │ │ ├── models │ │ │ │ ├── __init__.py │ │ │ │ ├── _typechecking.py │ │ │ │ ├── core │ │ │ │ │ ├── __init__.py │ │ │ │ │ ├── base.py │ │ │ │ │ ├── cpg.py │ │ │ │ │ ├── edge.py │ │ │ │ │ ├── node.py │ │ │ │ │ └── relationships.py │ │ │ │ ├── docs.py │ │ │ │ └── node │ │ │ │ │ ├── __init__.py │ │ │ │ │ ├── _typechecking.py │ │ │ │ │ ├── analysis.py │ │ │ │ │ ├── ast │ │ │ │ │ ├── __init__.py │ │ │ │ │ ├── bin.py │ │ │ │ │ ├── llvm.py │ │ │ │ │ └── mc.py │ │ │ │ │ ├── dwarf.py │ │ │ │ │ └── translation_unit.py │ │ │ └── query │ │ │ │ ├── __init__.py │ │ │ │ ├── cfg_avoiding.py │ │ │ │ ├── control_flow.py │ │ │ │ ├── dataflow.py │ │ │ │ ├── known_function_whitelist.py │ │ │ │ └── query_helpers.py │ │ ├── db.py │ │ ├── storage.py │ │ └── string.py │ ├── mypy.ini │ ├── requirements.txt │ └── setup.py ├── mate-rest-client │ ├── .gitignore │ ├── README.md │ ├── mate_rest_client │ │ ├── __init__.py │ │ ├── analyses.py │ │ ├── artifacts.py │ │ ├── builds.py │ │ ├── common.py │ │ ├── compilations.py │ │ ├── graphs.py │ │ ├── manticore.py │ │ └── pois.py │ ├── mypy.ini │ ├── requirements.txt │ └── setup.py ├── mate │ ├── README.md │ ├── bin │ │ ├── mate │ │ ├── mate-bridge │ │ ├── mate-cli │ │ └── mate-docs │ ├── mate │ │ ├── __init__.py │ │ ├── assertions.py │ │ ├── build │ │ │ ├── __init__.py │ │ │ ├── build.py │ │ │ ├── common.py │ │ │ ├── compile.py │ │ │ ├── signatures.py │ │ │ └── tob_chess_utils │ │ │ │ ├── __init__.py │ │ │ │ ├── dwarf.py │ │ │ │ ├── elf.py │ │ │ │ ├── logging.py │ │ │ │ ├── range_avl_tree.py │ │ │ │ ├── tools │ │ │ │ ├── __init__.py │ │ │ │ ├── aspirin.py │ │ │ │ ├── margin.py │ │ │ │ ├── migraine.py │ │ │ │ └── quotidian.py │ │ │ │ └── types.py │ │ ├── config.py │ │ ├── context │ │ │ ├── __init__.py │ │ │ └── cli.py │ │ ├── error.py │ │ ├── integration │ │ │ ├── __init__.py │ │ │ ├── bridge.py │ │ │ └── challenge_broker │ │ │ │ └── __init__.py │ │ ├── logging.py │ │ ├── mate.py │ │ ├── poi │ │ │ ├── __init__.py │ │ │ ├── analysis │ │ │ │ ├── CommandInjection.py │ │ │ │ ├── IteratorInvalidation.py │ │ │ │ ├── OverflowableAllocations.py │ │ │ │ ├── PathTraversal.py │ │ │ │ ├── PointerDisclosure.py │ │ │ │ ├── TruncatedInteger.py │ │ │ │ ├── UninitializedStackMemory.py │ │ │ │ ├── UseAfterFree.py │ │ │ │ ├── UserStringComparisonLength.py │ │ │ │ ├── VariableLengthStackObject.py │ │ │ │ └── __init__.py │ │ │ └── poi_types.py │ │ ├── server │ │ │ ├── __init__.py │ │ │ └── api │ │ │ │ ├── __init__.py │ │ │ │ ├── analyses.py │ │ │ │ ├── artifacts.py │ │ │ │ ├── builds.py │ │ │ │ ├── common.py │ │ │ │ ├── compilations.py │ │ │ │ ├── graphs │ │ │ │ ├── __init__.py │ │ │ │ ├── queries.py │ │ │ │ └── routes.py │ │ │ │ ├── manticore.py │ │ │ │ ├── proxy │ │ │ │ ├── __init__.py │ │ │ │ └── routes.py │ │ │ │ ├── status.py │ │ │ │ └── types.py │ │ └── tasks │ │ │ ├── __init__.py │ │ │ ├── analyze.py │ │ │ ├── build.py │ │ │ ├── compile.py │ │ │ └── pipeline.py │ ├── mypy.ini │ ├── requirements.txt │ └── setup.py └── test │ ├── datastructures_test.py │ ├── dwarf_test.py │ ├── pointer_arg_dataflow_test.py │ ├── programs │ ├── Makefile │ ├── accumulate.cpp │ ├── allocation-sizes.c │ ├── array-tests.c │ ├── basictemplates.cpp │ ├── cdg-test.c │ ├── cfg-test.c │ ├── complex-linkage │ │ ├── Makefile │ │ ├── common.h │ │ ├── helpers.c │ │ ├── main.c │ │ └── symbols.h │ ├── customclass.cpp │ ├── customclassinheritance.cpp │ ├── cxxbasic.cpp │ ├── dangerous-vla.c │ ├── deadcode.c │ ├── deadcode2.c │ ├── df-sig-arg-to-arg-pts-agg.c │ ├── df-sig-arg-to-arg-pts.c │ ├── df-sig-arg-to-ret.c │ ├── dwarf_properties.cpp │ ├── dwarf_properties2.cpp │ ├── dynamic-cast.cpp │ ├── errno.c │ ├── ex_simple.c │ ├── ex_symb_index.c │ ├── exception-driven-control-flow.cpp │ ├── exceptions.cpp │ ├── extra-args.c │ ├── fake-strtol.c │ ├── fancytypes.c │ ├── forcedentry.cpp │ ├── friends.cpp │ ├── functiontable.c │ ├── functiontablebranch.c │ ├── functiontableparm.c │ ├── garfield_minimised_setchr.cpp │ ├── garfield_minimised_substr.cpp │ ├── global.c │ ├── globalvars.c │ ├── guessing-game-cxx.cpp │ ├── guessing-game-heap.c │ ├── guessing-game.c │ ├── heap_oob.cpp │ ├── heap_oob_malloc.c │ ├── hello.c │ ├── inlineasm.c │ ├── inlineasm2.c │ ├── inlineasm3.c │ ├── inlineasm4.c │ ├── inlinedfuncs.c │ ├── inlinedfuncs2.c │ ├── interprocedural_dataflow_test.cpp │ ├── issue_1058.cpp │ ├── issue_1137.c │ ├── issue_1522.cpp │ ├── issue_954.c │ ├── iterator-invalidation.cpp │ ├── lambda.cpp │ ├── linkedlist.c │ ├── liveness.c │ ├── mini-fenway-uaf.c │ ├── mmap.c │ ├── multi_recv.c │ ├── nested.c │ ├── nested_structs.c │ ├── nestedlambda.cpp │ ├── nestedtypes.c │ ├── nontypetemplate.cpp │ ├── notes.c │ ├── ntu-uaf.c │ ├── oob-condition.c │ ├── oob-write.c │ ├── overflowable-allocations.c │ ├── overflowable-allocations.cpp │ ├── ovington-extra-minimal.cpp │ ├── ovington-minimal.cpp │ ├── param-binding-and-return.cpp │ ├── placement_new_simple.cpp │ ├── poi-authentication-control.c │ ├── poi-constant-index-array-access.c │ ├── poi-intraprocedural-use-after-free.c │ ├── poi-kernel-cve-uninit.c │ ├── poi-memcpy.c │ ├── poi-path-traversal-recv.c │ ├── poi-path-traversal.c │ ├── poi-pointer-disclosure.c │ ├── poi-unbounded-array-access.c │ ├── poi-uninit.c │ ├── poi-user-controlled-string-comparison-length.c │ ├── pointer_arg_dataflow_test.c │ ├── points-to_context.c │ ├── points-to_malloc-context.c │ ├── points-to_new-context.cpp │ ├── recurse.c │ ├── recurselambda.cpp │ ├── signatures.c │ ├── simple-uaf-read.c │ ├── simple-uaf-write.c │ ├── simple-uaf.cpp │ ├── sql_injection.c │ ├── stack-args-2.c │ ├── stack-args.c │ ├── standalone.c │ ├── staticfuncs.c │ ├── stdinttypes.c │ ├── strings.cpp │ ├── struct-by-ptr.c │ ├── struct-by-value.c │ ├── struct_bounds.c │ ├── switch.c │ ├── symbol-alias.c │ ├── symbol-menagerie.c │ ├── test-dataflow-small.c │ ├── test-dataflow.c │ ├── triple_nested_structs.c │ ├── truncated-integer.c │ ├── truncated-integer.cpp │ ├── type-backprop.c │ ├── underconstrained_complex_inheritance.cpp │ ├── underconstrained_complex_inheritance2.cpp │ ├── underconstrained_complex_inheritance3.cpp │ ├── underconstrained_cpp_vector.cpp │ ├── underconstrained_oob_read.c │ ├── underconstrained_oob_write.c │ ├── underconstrained_silent_oob_write.c │ ├── underconstrained_symbolic_offset_read.c │ ├── underconstrained_symbolic_offset_write.c │ ├── underconstrained_virtual_method.cpp │ ├── uninit-stack-array-use.c │ ├── uninit-stack-var-use.c │ ├── unused_argument.c │ ├── varargs.c │ ├── variadicfunctemplate.cpp │ ├── variadictemplatemultiple.cpp │ ├── virtual-multiple-inheritance.cpp │ ├── virtual.cpp │ └── voidptr.c │ ├── script.gdb │ ├── server-programs │ ├── hello │ │ └── challenge_src │ │ │ ├── Makefile │ │ │ ├── common.h │ │ │ └── hello.c │ └── no-cc │ │ └── challenge_src │ │ ├── Makefile │ │ ├── common.h │ │ └── hello.c │ └── test_json_schema.py ├── jupyter ├── examples │ ├── .gitignore │ ├── assets │ │ ├── garfield_minimised_setchr.cpp │ │ ├── guessing-game.c │ │ ├── guessing-game.ll │ │ └── notes.c │ ├── cpg-tutorial-no-solutions.ipynb │ ├── cpg-tutorial-with-solutions.ipynb │ └── usage-finder.ipynb ├── ipython_config.py └── start-notebook-server.sh ├── llvm ├── .clang-format ├── .clang-tidy ├── .gitignore ├── CMakeLists.txt ├── MATE │ ├── ASTGraphWriter.cpp │ ├── CMakeLists.txt │ ├── ControlDependenceGraph.cpp │ ├── ControlDependenceGraph.h │ ├── Edges.h │ ├── Nodes.cpp │ ├── Nodes.h │ ├── Serialize │ │ ├── Nodes.cpp │ │ ├── Nodes.h │ │ ├── Types.cpp │ │ └── Types.h │ ├── TraceLogger.cpp │ ├── Utils.cpp │ └── Utils.h ├── headache │ ├── CMakeLists.txt │ └── headache.cpp └── nomina │ ├── CMakeLists.txt │ └── nomina.cpp ├── mantiserve ├── README.md ├── mantiserve │ ├── __init__.py │ ├── apogee_ex1_specific.py │ ├── context.py │ ├── exceptions.py │ ├── hooks.py │ ├── liftsmt2.py │ ├── logging.py │ ├── mantireach.py │ └── tasks │ │ ├── __init__.py │ │ ├── docker_util.py │ │ ├── explore.py │ │ ├── reachability.py │ │ └── util.py ├── mypy.ini ├── requirements.txt └── setup.py ├── pyproject.toml ├── pysmt2lib ├── .gitignore ├── README.md ├── requirements.txt ├── setup.py └── smt2lib │ ├── SMTLIBv2.g4 │ └── __init__.py ├── pytest.ini ├── shake.sh ├── shake ├── .gitignore ├── README ├── exe │ └── Mate.hs ├── mate.cabal └── src │ └── Development │ └── Shake │ ├── BuildConfig.hs │ ├── Changes.hs │ ├── Hybrid.hs │ └── Lint.hs ├── tests ├── __init__.py ├── aliasing │ ├── context.cpp │ ├── context.ll │ ├── trivial.c │ └── trivial.ll ├── assets │ └── dockerfiles │ │ ├── Dockerfile.phase2 │ │ └── Dockerfile.phase3 ├── conftest.py ├── cromulence │ └── injection │ │ ├── README.md │ │ ├── build.sh │ │ ├── challenge_bin │ │ └── Dockerfile │ │ ├── challenge_src │ │ ├── Dockerfile │ │ ├── Makefile │ │ ├── bryant.bin.0.5.precodegen.ll │ │ └── src │ │ │ ├── csv.c │ │ │ ├── csv.h │ │ │ ├── db.c │ │ │ ├── db.h │ │ │ ├── execute.c │ │ │ ├── execute.h │ │ │ ├── kvlist.c │ │ │ ├── kvlist.h │ │ │ ├── lex.h │ │ │ ├── log.h │ │ │ ├── main.c │ │ │ ├── parse.tab.c │ │ │ ├── parse.tab.h │ │ │ ├── parse.yy.c │ │ │ ├── plan.c │ │ │ ├── plan.h │ │ │ ├── query_parser.c │ │ │ ├── query_parser.h │ │ │ ├── session.c │ │ │ ├── session.h │ │ │ ├── stack.c │ │ │ └── stack.h │ │ ├── reference_patch │ │ ├── Dockerfile │ │ ├── Makefile │ │ └── src │ │ │ ├── csv.c │ │ │ ├── csv.h │ │ │ ├── db.c │ │ │ ├── db.h │ │ │ ├── execute.c │ │ │ ├── execute.h │ │ │ ├── kvlist.c │ │ │ ├── kvlist.h │ │ │ ├── lex.h │ │ │ ├── log.h │ │ │ ├── main.c │ │ │ ├── parse.tab.c │ │ │ ├── parse.tab.h │ │ │ ├── parse.yy.c │ │ │ ├── plan.c │ │ │ ├── plan.h │ │ │ ├── query_parser.c │ │ │ ├── query_parser.h │ │ │ ├── session.c │ │ │ ├── session.h │ │ │ ├── stack.c │ │ │ └── stack.h │ │ ├── reference_pov │ │ ├── Dockerfile │ │ └── bryant-pov.rb │ │ └── service_poller │ │ ├── Dockerfile │ │ └── bryant-poller.rb ├── dwarfcore │ ├── binaries │ │ ├── README.md │ │ ├── ex_simple.conc.O1.gold │ │ └── ex_simple.symb.O1.gold │ ├── test_dwarf_trace.py │ ├── test_dwarf_variables.py │ ├── test_dwarfcore.py │ ├── test_uaf_detector.py │ └── test_uninit_var_detect.py ├── integration │ ├── __init__.py │ ├── conftest.py │ └── mantiserve │ │ └── integration_reachability_test.py ├── mantiserve │ ├── messages_test.py │ ├── reachability_test.py │ ├── test_underconstrained.py │ └── validate_smt2_expr_test.py ├── postgres │ ├── assets │ │ ├── df-sig-arg-to-arg-pts-agg.yml │ │ ├── df-sig-arg-to-arg-pts.yml │ │ ├── df-sig-arg-to-ret.yml │ │ ├── signatures-bad.yml │ │ └── signatures.yml │ ├── fixtures │ │ ├── diamond │ │ │ ├── edges.csv │ │ │ └── nodes.csv │ │ └── small │ │ │ ├── edges.csv │ │ │ └── nodes.csv │ ├── poi_analysis │ │ ├── command_injection_test.py │ │ ├── iterator_invalidation_test.py │ │ ├── overflowable_allocations_test.py │ │ ├── path_traversal_test.py │ │ ├── pointer_disclosure_test.py │ │ ├── test_poi_user_string_comparison_length.py │ │ ├── truncated_integer_test.py │ │ ├── uninitialized_stack_memory_test.py │ │ ├── use_after_free_test.py │ │ └── variable_length_stack_object_test.py │ ├── test_allocation_size.py │ ├── test_argument_pairing.py │ ├── test_array_size.py │ ├── test_asm_insts.py │ ├── test_blocks.py │ ├── test_build_pipelines.py │ ├── test_callgraph.py │ ├── test_callsite.py │ ├── test_cdg.py │ ├── test_cfgviews.py │ ├── test_cfl_paths.py │ ├── test_dataflow.py │ ├── test_default_signatures.py │ ├── test_determinism.py │ ├── test_dwarf_properties.py │ ├── test_exception_cf.py │ ├── test_extra_args.py │ ├── test_function_argument_names.py │ ├── test_global_load_store.py │ ├── test_global_variables.py │ ├── test_guessing_game.py │ ├── test_harness.py │ ├── test_implicit_this.py │ ├── test_invariants.py │ ├── test_issue_1058.py │ ├── test_issue_1137.py │ ├── test_issue_1522.py │ ├── test_issue_954.py │ ├── test_llvm.py │ ├── test_local_variables.py │ ├── test_machinefunction_frame.py │ ├── test_mini_ovington.py │ ├── test_mmap.py │ ├── test_null_pointer.py │ ├── test_param_binding_call_return.py │ ├── test_paths.py │ ├── test_plt_stubs.py │ ├── test_points_to.py │ ├── test_signatures.py │ ├── test_stack_back_propagation.py │ ├── test_subgraphs.py │ ├── test_symbol_alias.py │ ├── test_symbol_table.py │ ├── test_thread_local.py │ ├── test_translation_unit.py │ ├── test_type.py │ ├── test_variadic_template.py │ └── test_vtable.py └── simple │ ├── CMakeLists.txt │ ├── README.md │ ├── authentication │ ├── Makefile │ ├── adminLogging.txt │ ├── authentication-no-comments.c │ ├── authentication.c │ ├── authentication.ll │ └── credentials.txt │ ├── out-of-bounds-read │ ├── Makefile │ ├── out_of_bounds_read.c │ └── out_of_bounds_read.ll │ └── registration │ └── registration.cpp └── ui-client ├── .editorconfig ├── .gitignore ├── README.md ├── package-lock.json ├── package.json ├── public ├── favicon.ico ├── index.html ├── manifest.json └── robots.txt ├── src ├── components │ ├── Background.test.tsx │ ├── Background.tsx │ ├── ErrorAlert.test.tsx │ ├── ErrorAlert.tsx │ ├── Filters.test.tsx │ ├── Filters.tsx │ ├── FunctionSelector.tsx │ ├── Graph │ │ ├── Graph.test.tsx │ │ ├── Graph.tsx │ │ ├── ProcessingIndicator.test.tsx │ │ ├── ProcessingIndicator.tsx │ │ ├── index.ts │ │ ├── styles.ts │ │ ├── test-graphs.ts │ │ ├── tools.test.ts │ │ ├── tools.ts │ │ └── types.ts │ ├── GraphCard.test.tsx │ ├── GraphCard.tsx │ ├── Header.test.tsx │ ├── Header.tsx │ ├── Insight.tsx │ ├── LoadingIndicator.test.tsx │ ├── LoadingIndicator.tsx │ ├── LogViewer.tsx │ ├── NodeSelector.test.tsx │ ├── NodeSelector.tsx │ ├── NodeTooltip.test.tsx │ ├── NodeTooltip.tsx │ ├── NotebookButton.test.tsx │ ├── NotebookButton.tsx │ ├── Page.test.tsx │ ├── Page.tsx │ ├── Paginator.test.tsx │ ├── Paginator.tsx │ ├── PanelGrid.test.tsx │ ├── PanelGrid.tsx │ ├── SliceSelector.test.tsx │ ├── SliceSelector.tsx │ ├── SnapshotSaver.test.tsx │ ├── SnapshotSaver.tsx │ ├── ToggleSwitch.test.tsx │ ├── ToggleSwitch.tsx │ ├── WarningAlert.test.tsx │ ├── WarningAlert.tsx │ └── graph-stylesheet.ts ├── hooks │ ├── api │ │ ├── useAnalysisTasks.ts │ │ ├── useBuild.ts │ │ ├── useBuilds.ts │ │ ├── useCompilations.ts │ │ ├── useFunctionNodes.ts │ │ ├── useMachineFunctionNodes.ts │ │ ├── usePois.ts │ │ └── useSnapshots.ts │ ├── useFlowFinder │ │ ├── graphTools.ts │ │ ├── index.test.ts │ │ ├── index.ts │ │ ├── keyTools.ts │ │ ├── useContextMenu.ts │ │ ├── useDimensions.ts │ │ └── useGraphState.ts │ ├── useManticore.ts │ ├── usePage.test.ts │ └── usePage.ts ├── index.tsx ├── lib │ └── api │ │ ├── analysis-tasks.ts │ │ ├── axios-instance.ts │ │ ├── builds.test.ts │ │ ├── builds.ts │ │ ├── compilations.ts │ │ ├── graphs.test.ts │ │ ├── graphs.ts │ │ ├── index.ts │ │ ├── manticore.ts │ │ ├── notebooks.ts │ │ ├── pois.ts │ │ ├── snapshots.test.ts │ │ ├── snapshots.ts │ │ └── utils.ts ├── pages │ ├── App.test.tsx │ ├── App.tsx │ ├── Builds.tsx │ ├── Compilations.tsx │ ├── FlowFinder │ │ ├── GraphCardCollection.tsx │ │ └── index.tsx │ ├── Manticore │ │ ├── AdvancedMenu.tsx │ │ ├── AnalysisResults │ │ │ ├── Cases.tsx │ │ │ ├── Choices.tsx │ │ │ └── index.tsx │ │ ├── ConstraintEditor.tsx │ │ ├── ConstraintsManager.tsx │ │ ├── PolicySelector.tsx │ │ ├── Warnings.tsx │ │ └── index.tsx │ ├── PointsOfInterest.tsx │ └── Snapshots.tsx ├── react-app-env.d.ts ├── reportWebVitals.ts ├── setupTests.ts ├── styles │ ├── App.scss │ ├── Background.scss │ ├── Builds.scss │ ├── Compilations.scss │ ├── Filters.scss │ ├── FlowFinder.scss │ ├── Graph.scss │ ├── GraphCard.scss │ ├── Header.scss │ ├── Insight.scss │ ├── LoadingIndicator.scss │ ├── LogViewer.scss │ ├── Manticore.scss │ ├── NodeSelector.scss │ ├── NodeTooltip.scss │ ├── POIs.scss │ ├── Page.scss │ ├── Paginator.scss │ ├── PanelGrid.scss │ ├── SliceSelector.scss │ ├── Snapshots.scss │ ├── ToggleSwitch.scss │ └── index.scss ├── testUtils.tsx ├── types.d.ts └── types │ └── react-table-config.d.ts ├── tsconfig.json └── yarn.lock /.cmake-lint.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/.cmake-lint.yaml -------------------------------------------------------------------------------- /.dockerignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/.dockerignore -------------------------------------------------------------------------------- /.env: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/.env -------------------------------------------------------------------------------- /.flake8: -------------------------------------------------------------------------------- 1 | [flake8] 2 | max-line-length = 100 3 | -------------------------------------------------------------------------------- /.github/workflows/build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/.github/workflows/build.yml -------------------------------------------------------------------------------- /.github/workflows/tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/.github/workflows/tests.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitlab-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/.gitlab-ci.yml -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/.gitmodules -------------------------------------------------------------------------------- /.hadolint.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/.hadolint.yaml -------------------------------------------------------------------------------- /.pylintrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/.pylintrc -------------------------------------------------------------------------------- /.shellcheckrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/.shellcheckrc -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/README.md -------------------------------------------------------------------------------- /ci/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ci/README.md -------------------------------------------------------------------------------- /ci/gha-docker-build: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ci/gha-docker-build -------------------------------------------------------------------------------- /ci/git_archive.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ci/git_archive.sh -------------------------------------------------------------------------------- /ci/on-stable.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ci/on-stable.sh -------------------------------------------------------------------------------- /ci/ssh.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ci/ssh.sh -------------------------------------------------------------------------------- /cli-requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/cli-requirements.txt -------------------------------------------------------------------------------- /conftest.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/conftest.py -------------------------------------------------------------------------------- /default-signatures.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/default-signatures.yml -------------------------------------------------------------------------------- /dev-requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dev-requirements.txt -------------------------------------------------------------------------------- /doc/api/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/api/index.rst -------------------------------------------------------------------------------- /doc/architecture.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/architecture.rst -------------------------------------------------------------------------------- /doc/assets/challenge-broker1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/challenge-broker1.png -------------------------------------------------------------------------------- /doc/assets/challenge-broker2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/challenge-broker2.png -------------------------------------------------------------------------------- /doc/assets/challenge-broker3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/challenge-broker3.png -------------------------------------------------------------------------------- /doc/assets/create-notebook.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/create-notebook.png -------------------------------------------------------------------------------- /doc/assets/dashboard-builds.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/dashboard-builds.png -------------------------------------------------------------------------------- /doc/assets/dashboard-pois.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/dashboard-pois.png -------------------------------------------------------------------------------- /doc/assets/flowfinder-base.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/flowfinder-base.png -------------------------------------------------------------------------------- /doc/assets/flowfinder-card_panel_labeled.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/flowfinder-card_panel_labeled.png -------------------------------------------------------------------------------- /doc/assets/flowfinder-context_menu.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/flowfinder-context_menu.png -------------------------------------------------------------------------------- /doc/assets/flowfinder-expanded_function_collapsed_lines.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/flowfinder-expanded_function_collapsed_lines.png -------------------------------------------------------------------------------- /doc/assets/flowfinder-graph_labeled.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/flowfinder-graph_labeled.png -------------------------------------------------------------------------------- /doc/assets/flowfinder-overview.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/flowfinder-overview.jpg -------------------------------------------------------------------------------- /doc/assets/flowfinder-panels.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/flowfinder-panels.png -------------------------------------------------------------------------------- /doc/assets/flowfinder-right_panel_labeled.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/flowfinder-right_panel_labeled.png -------------------------------------------------------------------------------- /doc/assets/flowfinder-slice_example.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/flowfinder-slice_example.png -------------------------------------------------------------------------------- /doc/assets/flowfinder-usage.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/flowfinder-usage.png -------------------------------------------------------------------------------- /doc/assets/get-build-id.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/get-build-id.png -------------------------------------------------------------------------------- /doc/assets/jupyter-list-usagefinder.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/jupyter-list-usagefinder.png -------------------------------------------------------------------------------- /doc/assets/mate-architecture.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/mate-architecture.jpg -------------------------------------------------------------------------------- /doc/assets/mate-dashboard-notebooks.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/mate-dashboard-notebooks.png -------------------------------------------------------------------------------- /doc/assets/mate-workflow.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/mate-workflow.png -------------------------------------------------------------------------------- /doc/assets/notebook-load-graph.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/notebook-load-graph.jpg -------------------------------------------------------------------------------- /doc/assets/notebook-node-example.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/notebook-node-example.png -------------------------------------------------------------------------------- /doc/assets/notebook-overview.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/notebook-overview.jpg -------------------------------------------------------------------------------- /doc/assets/rename-notebook.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/rename-notebook.jpg -------------------------------------------------------------------------------- /doc/assets/tob-tool-graph.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/tob-tool-graph.png -------------------------------------------------------------------------------- /doc/assets/uc-manticore.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/uc-manticore.jpg -------------------------------------------------------------------------------- /doc/assets/usagefinder-all-features-table.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/usagefinder-all-features-table.png -------------------------------------------------------------------------------- /doc/assets/usagefinder-collapsed.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/usagefinder-collapsed.png -------------------------------------------------------------------------------- /doc/assets/usagefinder-function-selection.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/usagefinder-function-selection.png -------------------------------------------------------------------------------- /doc/assets/usagefinder-relevant-conditionals.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/usagefinder-relevant-conditionals.png -------------------------------------------------------------------------------- /doc/assets/usagefinder-run-all.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/usagefinder-run-all.png -------------------------------------------------------------------------------- /doc/assets/usagefinder-select-cpg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/usagefinder-select-cpg.png -------------------------------------------------------------------------------- /doc/assets/usagefinder-select-location.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/usagefinder-select-location.png -------------------------------------------------------------------------------- /doc/assets/usagefinder-select-pairs.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/usagefinder-select-pairs.png -------------------------------------------------------------------------------- /doc/assets/usagefinder-start-here.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/usagefinder-start-here.png -------------------------------------------------------------------------------- /doc/assets/usagefinder-start-visualization.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/usagefinder-start-visualization.png -------------------------------------------------------------------------------- /doc/assets/usagefinder-widgets.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/usagefinder-widgets.png -------------------------------------------------------------------------------- /doc/assets/usagefinder-zoom-table.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/assets/usagefinder-zoom-table.png -------------------------------------------------------------------------------- /doc/cli-overview.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/cli-overview.rst -------------------------------------------------------------------------------- /doc/cli.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/cli.rst -------------------------------------------------------------------------------- /doc/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/conf.py -------------------------------------------------------------------------------- /doc/cpg.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/cpg.rst -------------------------------------------------------------------------------- /doc/debugging-builds.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/debugging-builds.rst -------------------------------------------------------------------------------- /doc/dwarfcore.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/dwarfcore.rst -------------------------------------------------------------------------------- /doc/environment.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/environment.rst -------------------------------------------------------------------------------- /doc/hacking.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/hacking.rst -------------------------------------------------------------------------------- /doc/include/comparison-table.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/include/comparison-table.html -------------------------------------------------------------------------------- /doc/include/tutorial-iframe.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/include/tutorial-iframe.html -------------------------------------------------------------------------------- /doc/include/tutorial-shared.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/include/tutorial-shared.rst -------------------------------------------------------------------------------- /doc/include/ui-walkthrough-iframe.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/include/ui-walkthrough-iframe.html -------------------------------------------------------------------------------- /doc/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/index.rst -------------------------------------------------------------------------------- /doc/legal.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/legal.rst -------------------------------------------------------------------------------- /doc/mantiserve.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/mantiserve.rst -------------------------------------------------------------------------------- /doc/overview.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/overview.rst -------------------------------------------------------------------------------- /doc/pois.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/pois.rst -------------------------------------------------------------------------------- /doc/quickstart.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/quickstart.rst -------------------------------------------------------------------------------- /doc/schemata/cpg.rst.mustache: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/schemata/cpg.rst.mustache -------------------------------------------------------------------------------- /doc/schemata/diagram.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/schemata/diagram.py -------------------------------------------------------------------------------- /doc/schemata/mustache.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/schemata/mustache.py -------------------------------------------------------------------------------- /doc/signatures.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/signatures.rst -------------------------------------------------------------------------------- /doc/testing.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/testing.rst -------------------------------------------------------------------------------- /doc/trace.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/trace.rst -------------------------------------------------------------------------------- /doc/tutorial-flowfinder.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/tutorial-flowfinder.rst -------------------------------------------------------------------------------- /doc/tutorial-notebooks.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/tutorial-notebooks.rst -------------------------------------------------------------------------------- /doc/ui-walkthrough.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/ui-walkthrough.rst -------------------------------------------------------------------------------- /doc/under-constrained-manticore.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/under-constrained-manticore.rst -------------------------------------------------------------------------------- /doc/usagefinder.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/usagefinder.rst -------------------------------------------------------------------------------- /doc/using-flowfinder.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/using-flowfinder.rst -------------------------------------------------------------------------------- /doc/using-notebooks.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/using-notebooks.rst -------------------------------------------------------------------------------- /doc/using-rest-api.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/doc/using-rest-api.rst -------------------------------------------------------------------------------- /docker-compose.clients.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/docker-compose.clients.yml -------------------------------------------------------------------------------- /docker-compose.large.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/docker-compose.large.yml -------------------------------------------------------------------------------- /docker-compose.notebook.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/docker-compose.notebook.yml -------------------------------------------------------------------------------- /docker-compose.test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/docker-compose.test.yml -------------------------------------------------------------------------------- /docker-compose.ui.dev.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/docker-compose.ui.dev.yml -------------------------------------------------------------------------------- /docker-compose.ui.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/docker-compose.ui.yml -------------------------------------------------------------------------------- /docker-compose.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/docker-compose.yml -------------------------------------------------------------------------------- /dwarfcore/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarfcore/README.md -------------------------------------------------------------------------------- /dwarfcore/dwarfcore/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /dwarfcore/dwarfcore/detectors/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /dwarfcore/dwarfcore/detectors/common.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarfcore/dwarfcore/detectors/common.py -------------------------------------------------------------------------------- /dwarfcore/dwarfcore/detectors/dwarf_variables.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarfcore/dwarfcore/detectors/dwarf_variables.py -------------------------------------------------------------------------------- /dwarfcore/dwarfcore/detectors/heap_oob.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarfcore/dwarfcore/detectors/heap_oob.py -------------------------------------------------------------------------------- /dwarfcore/dwarfcore/detectors/testing.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarfcore/dwarfcore/detectors/testing.py -------------------------------------------------------------------------------- /dwarfcore/dwarfcore/detectors/uaf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarfcore/dwarfcore/detectors/uaf.py -------------------------------------------------------------------------------- /dwarfcore/dwarfcore/detectors/uninitialized_stack_variable.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarfcore/dwarfcore/detectors/uninitialized_stack_variable.py -------------------------------------------------------------------------------- /dwarfcore/dwarfcore/dwarfcore.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarfcore/dwarfcore/dwarfcore.py -------------------------------------------------------------------------------- /dwarfcore/dwarfcore/examples/example_heap_detect.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarfcore/dwarfcore/examples/example_heap_detect.py -------------------------------------------------------------------------------- /dwarfcore/dwarfcore/examples/example_trace_general.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarfcore/dwarfcore/examples/example_trace_general.py -------------------------------------------------------------------------------- /dwarfcore/dwarfcore/examples/example_uninit_variable_use_detect.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarfcore/dwarfcore/examples/example_uninit_variable_use_detect.py -------------------------------------------------------------------------------- /dwarfcore/dwarfcore/examples/example_variable_general.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarfcore/dwarfcore/examples/example_variable_general.py -------------------------------------------------------------------------------- /dwarfcore/dwarfcore/helper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarfcore/dwarfcore/helper.py -------------------------------------------------------------------------------- /dwarfcore/dwarfcore/logging.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarfcore/dwarfcore/logging.py -------------------------------------------------------------------------------- /dwarfcore/dwarfcore/plugins/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /dwarfcore/dwarfcore/plugins/dwarf_trace.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarfcore/dwarfcore/plugins/dwarf_trace.py -------------------------------------------------------------------------------- /dwarfcore/dwarfcore/plugins/dwarf_track_variables.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarfcore/dwarfcore/plugins/dwarf_track_variables.py -------------------------------------------------------------------------------- /dwarfcore/dwarfcore/plugins/heap_common.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarfcore/dwarfcore/plugins/heap_common.py -------------------------------------------------------------------------------- /dwarfcore/dwarfcore/plugins/under_constrained_symex/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarfcore/dwarfcore/plugins/under_constrained_symex/__init__.py -------------------------------------------------------------------------------- /dwarfcore/dwarfcore/plugins/under_constrained_symex/dwarf_helper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarfcore/dwarfcore/plugins/under_constrained_symex/dwarf_helper.py -------------------------------------------------------------------------------- /dwarfcore/dwarfcore/plugins/under_constrained_symex/errors.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarfcore/dwarfcore/plugins/under_constrained_symex/errors.py -------------------------------------------------------------------------------- /dwarfcore/dwarfcore/plugins/under_constrained_symex/exceptions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarfcore/dwarfcore/plugins/under_constrained_symex/exceptions.py -------------------------------------------------------------------------------- /dwarfcore/dwarfcore/plugins/under_constrained_symex/logging.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarfcore/dwarfcore/plugins/under_constrained_symex/logging.py -------------------------------------------------------------------------------- /dwarfcore/dwarfcore/plugins/under_constrained_symex/plugin.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarfcore/dwarfcore/plugins/under_constrained_symex/plugin.py -------------------------------------------------------------------------------- /dwarfcore/dwarfcore/plugins/under_constrained_symex/smt.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarfcore/dwarfcore/plugins/under_constrained_symex/smt.py -------------------------------------------------------------------------------- /dwarfcore/dwarfcore/plugins/under_constrained_symex/uc_platform.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarfcore/dwarfcore/plugins/under_constrained_symex/uc_platform.py -------------------------------------------------------------------------------- /dwarfcore/dwarfcore/plugins/under_constrained_symex/user_constraints.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarfcore/dwarfcore/plugins/under_constrained_symex/user_constraints.py -------------------------------------------------------------------------------- /dwarfcore/dwarfcore/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarfcore/dwarfcore/utils.py -------------------------------------------------------------------------------- /dwarfcore/mypy.ini: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarfcore/mypy.ini -------------------------------------------------------------------------------- /dwarfcore/setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarfcore/setup.py -------------------------------------------------------------------------------- /dwarflang/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarflang/.gitignore -------------------------------------------------------------------------------- /dwarflang/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarflang/README.md -------------------------------------------------------------------------------- /dwarflang/dwarflang/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /dwarflang/dwarflang/ast.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarflang/dwarflang/ast.py -------------------------------------------------------------------------------- /dwarflang/dwarflang/decoder.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarflang/dwarflang/decoder.py -------------------------------------------------------------------------------- /dwarflang/dwarflang/enums.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarflang/dwarflang/enums.py -------------------------------------------------------------------------------- /dwarflang/dwarflang/eval/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /dwarflang/dwarflang/eval/base.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarflang/dwarflang/eval/base.py -------------------------------------------------------------------------------- /dwarflang/dwarflang/fold.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarflang/dwarflang/fold.py -------------------------------------------------------------------------------- /dwarflang/mypy.ini: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarflang/mypy.ini -------------------------------------------------------------------------------- /dwarflang/setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarflang/setup.py -------------------------------------------------------------------------------- /dwarflang/test/eval_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarflang/test/eval_test.py -------------------------------------------------------------------------------- /dwarflang/test/fold_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/dwarflang/test/fold_test.py -------------------------------------------------------------------------------- /frontend/.bellybutton.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/.bellybutton.yml -------------------------------------------------------------------------------- /frontend/mate-cli/.gitignore: -------------------------------------------------------------------------------- 1 | build/ 2 | dist/ 3 | -------------------------------------------------------------------------------- /frontend/mate-cli/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-cli/README.md -------------------------------------------------------------------------------- /frontend/mate-cli/mate_cli/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /frontend/mate-cli/mate_cli/cli.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-cli/mate_cli/cli.py -------------------------------------------------------------------------------- /frontend/mate-cli/mypy.ini: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-cli/mypy.ini -------------------------------------------------------------------------------- /frontend/mate-cli/requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-cli/requirements.txt -------------------------------------------------------------------------------- /frontend/mate-cli/setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-cli/setup.py -------------------------------------------------------------------------------- /frontend/mate-common/.gitignore: -------------------------------------------------------------------------------- 1 | build/ 2 | dist/ 3 | -------------------------------------------------------------------------------- /frontend/mate-common/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/README.md -------------------------------------------------------------------------------- /frontend/mate-common/dev/gen_intrinsics.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/dev/gen_intrinsics.py -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/assertions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/mate_common/assertions.py -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/mate_common/config.py -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/datastructures/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/datastructures/dict_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/mate_common/datastructures/dict_utils.py -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/datastructures/digraph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/mate_common/datastructures/digraph.py -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/datastructures/list_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/mate_common/datastructures/list_utils.py -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/datastructures/priority_queue.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/mate_common/datastructures/priority_queue.py -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/error.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/mate_common/error.py -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/models/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/models/analyses.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/mate_common/models/analyses.py -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/models/artifacts.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/mate_common/models/artifacts.py -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/models/builds.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/mate_common/models/builds.py -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/models/bytes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/mate_common/models/bytes.py -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/models/challenge_broker.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/mate_common/models/challenge_broker.py -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/models/compilations.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/mate_common/models/compilations.py -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/models/cpg_types/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/mate_common/models/cpg_types/__init__.py -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/models/cpg_types/bin.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/mate_common/models/cpg_types/bin.py -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/models/cpg_types/dwarf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/mate_common/models/cpg_types/dwarf.py -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/models/cpg_types/intrinsics.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/mate_common/models/cpg_types/intrinsics.py -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/models/cpg_types/llvm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/mate_common/models/cpg_types/llvm.py -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/models/cpg_types/mate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/mate_common/models/cpg_types/mate.py -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/models/cpg_types/mc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/mate_common/models/cpg_types/mc.py -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/models/graphs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/mate_common/models/graphs.py -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/models/integration.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/mate_common/models/integration.py -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/models/manticore.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/mate_common/models/manticore.py -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/schemata.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/mate_common/schemata.py -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/schemata/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/mate_common/schemata/README -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/schemata/edges.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/mate_common/schemata/edges.json -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/schemata/endpoints.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/mate_common/schemata/endpoints.json -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/schemata/nodes.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/mate_common/schemata/nodes.json -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/schemata/relationships.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/mate_common/schemata/relationships.json -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/schemata/signatures.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/mate_common/schemata/signatures.json -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/state_machine.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/mate_common/state_machine.py -------------------------------------------------------------------------------- /frontend/mate-common/mate_common/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/mate_common/utils.py -------------------------------------------------------------------------------- /frontend/mate-common/mypy.ini: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/mypy.ini -------------------------------------------------------------------------------- /frontend/mate-common/requirements.txt: -------------------------------------------------------------------------------- 1 | pydantic~=1.9.0 2 | -------------------------------------------------------------------------------- /frontend/mate-common/setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-common/setup.py -------------------------------------------------------------------------------- /frontend/mate-query/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-query/README.md -------------------------------------------------------------------------------- /frontend/mate-query/mate_query/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /frontend/mate-query/mate_query/cfl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-query/mate_query/cfl.py -------------------------------------------------------------------------------- /frontend/mate-query/mate_query/config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-query/mate_query/config.py -------------------------------------------------------------------------------- /frontend/mate-query/mate_query/cpg/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /frontend/mate-query/mate_query/cpg/models/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-query/mate_query/cpg/models/__init__.py -------------------------------------------------------------------------------- /frontend/mate-query/mate_query/cpg/models/_typechecking.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-query/mate_query/cpg/models/_typechecking.py -------------------------------------------------------------------------------- /frontend/mate-query/mate_query/cpg/models/core/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-query/mate_query/cpg/models/core/__init__.py -------------------------------------------------------------------------------- /frontend/mate-query/mate_query/cpg/models/core/base.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-query/mate_query/cpg/models/core/base.py -------------------------------------------------------------------------------- /frontend/mate-query/mate_query/cpg/models/core/cpg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-query/mate_query/cpg/models/core/cpg.py -------------------------------------------------------------------------------- /frontend/mate-query/mate_query/cpg/models/core/edge.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-query/mate_query/cpg/models/core/edge.py -------------------------------------------------------------------------------- /frontend/mate-query/mate_query/cpg/models/core/node.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-query/mate_query/cpg/models/core/node.py -------------------------------------------------------------------------------- /frontend/mate-query/mate_query/cpg/models/core/relationships.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-query/mate_query/cpg/models/core/relationships.py -------------------------------------------------------------------------------- /frontend/mate-query/mate_query/cpg/models/docs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-query/mate_query/cpg/models/docs.py -------------------------------------------------------------------------------- /frontend/mate-query/mate_query/cpg/models/node/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-query/mate_query/cpg/models/node/__init__.py -------------------------------------------------------------------------------- /frontend/mate-query/mate_query/cpg/models/node/_typechecking.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-query/mate_query/cpg/models/node/_typechecking.py -------------------------------------------------------------------------------- /frontend/mate-query/mate_query/cpg/models/node/analysis.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-query/mate_query/cpg/models/node/analysis.py -------------------------------------------------------------------------------- /frontend/mate-query/mate_query/cpg/models/node/ast/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-query/mate_query/cpg/models/node/ast/__init__.py -------------------------------------------------------------------------------- /frontend/mate-query/mate_query/cpg/models/node/ast/bin.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-query/mate_query/cpg/models/node/ast/bin.py -------------------------------------------------------------------------------- /frontend/mate-query/mate_query/cpg/models/node/ast/llvm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-query/mate_query/cpg/models/node/ast/llvm.py -------------------------------------------------------------------------------- /frontend/mate-query/mate_query/cpg/models/node/ast/mc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-query/mate_query/cpg/models/node/ast/mc.py -------------------------------------------------------------------------------- /frontend/mate-query/mate_query/cpg/models/node/dwarf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-query/mate_query/cpg/models/node/dwarf.py -------------------------------------------------------------------------------- /frontend/mate-query/mate_query/cpg/models/node/translation_unit.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-query/mate_query/cpg/models/node/translation_unit.py -------------------------------------------------------------------------------- /frontend/mate-query/mate_query/cpg/query/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-query/mate_query/cpg/query/__init__.py -------------------------------------------------------------------------------- /frontend/mate-query/mate_query/cpg/query/cfg_avoiding.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-query/mate_query/cpg/query/cfg_avoiding.py -------------------------------------------------------------------------------- /frontend/mate-query/mate_query/cpg/query/control_flow.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-query/mate_query/cpg/query/control_flow.py -------------------------------------------------------------------------------- /frontend/mate-query/mate_query/cpg/query/dataflow.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-query/mate_query/cpg/query/dataflow.py -------------------------------------------------------------------------------- /frontend/mate-query/mate_query/cpg/query/known_function_whitelist.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-query/mate_query/cpg/query/known_function_whitelist.py -------------------------------------------------------------------------------- /frontend/mate-query/mate_query/cpg/query/query_helpers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-query/mate_query/cpg/query/query_helpers.py -------------------------------------------------------------------------------- /frontend/mate-query/mate_query/db.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-query/mate_query/db.py -------------------------------------------------------------------------------- /frontend/mate-query/mate_query/storage.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-query/mate_query/storage.py -------------------------------------------------------------------------------- /frontend/mate-query/mate_query/string.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-query/mate_query/string.py -------------------------------------------------------------------------------- /frontend/mate-query/mypy.ini: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-query/mypy.ini -------------------------------------------------------------------------------- /frontend/mate-query/requirements.txt: -------------------------------------------------------------------------------- 1 | sqlalchemy==1.3.12 2 | psycopg2-binary==2.8.5 3 | -------------------------------------------------------------------------------- /frontend/mate-query/setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-query/setup.py -------------------------------------------------------------------------------- /frontend/mate-rest-client/.gitignore: -------------------------------------------------------------------------------- 1 | build/ 2 | dist/ 3 | -------------------------------------------------------------------------------- /frontend/mate-rest-client/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-rest-client/README.md -------------------------------------------------------------------------------- /frontend/mate-rest-client/mate_rest_client/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-rest-client/mate_rest_client/__init__.py -------------------------------------------------------------------------------- /frontend/mate-rest-client/mate_rest_client/analyses.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-rest-client/mate_rest_client/analyses.py -------------------------------------------------------------------------------- /frontend/mate-rest-client/mate_rest_client/artifacts.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-rest-client/mate_rest_client/artifacts.py -------------------------------------------------------------------------------- /frontend/mate-rest-client/mate_rest_client/builds.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-rest-client/mate_rest_client/builds.py -------------------------------------------------------------------------------- /frontend/mate-rest-client/mate_rest_client/common.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-rest-client/mate_rest_client/common.py -------------------------------------------------------------------------------- /frontend/mate-rest-client/mate_rest_client/compilations.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-rest-client/mate_rest_client/compilations.py -------------------------------------------------------------------------------- /frontend/mate-rest-client/mate_rest_client/graphs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-rest-client/mate_rest_client/graphs.py -------------------------------------------------------------------------------- /frontend/mate-rest-client/mate_rest_client/manticore.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-rest-client/mate_rest_client/manticore.py -------------------------------------------------------------------------------- /frontend/mate-rest-client/mate_rest_client/pois.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-rest-client/mate_rest_client/pois.py -------------------------------------------------------------------------------- /frontend/mate-rest-client/mypy.ini: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-rest-client/mypy.ini -------------------------------------------------------------------------------- /frontend/mate-rest-client/requirements.txt: -------------------------------------------------------------------------------- 1 | pydantic~=1.9.0 2 | requests~=2.27 3 | urllib3~=1.26 4 | 5 | # NOTE: This should be constrained. 6 | mate-common 7 | -------------------------------------------------------------------------------- /frontend/mate-rest-client/setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate-rest-client/setup.py -------------------------------------------------------------------------------- /frontend/mate/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/README.md -------------------------------------------------------------------------------- /frontend/mate/bin/mate: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/bin/mate -------------------------------------------------------------------------------- /frontend/mate/bin/mate-bridge: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | 3 | python3 -m mate.integration.bridge 4 | -------------------------------------------------------------------------------- /frontend/mate/bin/mate-cli: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | 3 | python3 -m mate_cli.cli "$@" 4 | -------------------------------------------------------------------------------- /frontend/mate/bin/mate-docs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/bin/mate-docs -------------------------------------------------------------------------------- /frontend/mate/mate/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /frontend/mate/mate/assertions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/assertions.py -------------------------------------------------------------------------------- /frontend/mate/mate/build/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /frontend/mate/mate/build/build.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/build/build.py -------------------------------------------------------------------------------- /frontend/mate/mate/build/common.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/build/common.py -------------------------------------------------------------------------------- /frontend/mate/mate/build/compile.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/build/compile.py -------------------------------------------------------------------------------- /frontend/mate/mate/build/signatures.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/build/signatures.py -------------------------------------------------------------------------------- /frontend/mate/mate/build/tob_chess_utils/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /frontend/mate/mate/build/tob_chess_utils/dwarf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/build/tob_chess_utils/dwarf.py -------------------------------------------------------------------------------- /frontend/mate/mate/build/tob_chess_utils/elf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/build/tob_chess_utils/elf.py -------------------------------------------------------------------------------- /frontend/mate/mate/build/tob_chess_utils/logging.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/build/tob_chess_utils/logging.py -------------------------------------------------------------------------------- /frontend/mate/mate/build/tob_chess_utils/range_avl_tree.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/build/tob_chess_utils/range_avl_tree.py -------------------------------------------------------------------------------- /frontend/mate/mate/build/tob_chess_utils/tools/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /frontend/mate/mate/build/tob_chess_utils/tools/aspirin.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/build/tob_chess_utils/tools/aspirin.py -------------------------------------------------------------------------------- /frontend/mate/mate/build/tob_chess_utils/tools/margin.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/build/tob_chess_utils/tools/margin.py -------------------------------------------------------------------------------- /frontend/mate/mate/build/tob_chess_utils/tools/migraine.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/build/tob_chess_utils/tools/migraine.py -------------------------------------------------------------------------------- /frontend/mate/mate/build/tob_chess_utils/tools/quotidian.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/build/tob_chess_utils/tools/quotidian.py -------------------------------------------------------------------------------- /frontend/mate/mate/build/tob_chess_utils/types.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/build/tob_chess_utils/types.py -------------------------------------------------------------------------------- /frontend/mate/mate/config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/config.py -------------------------------------------------------------------------------- /frontend/mate/mate/context/__init__.py: -------------------------------------------------------------------------------- 1 | from .cli import * 2 | -------------------------------------------------------------------------------- /frontend/mate/mate/context/cli.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/context/cli.py -------------------------------------------------------------------------------- /frontend/mate/mate/error.py: -------------------------------------------------------------------------------- 1 | """Nothing here anymore.""" 2 | -------------------------------------------------------------------------------- /frontend/mate/mate/integration/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /frontend/mate/mate/integration/bridge.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/integration/bridge.py -------------------------------------------------------------------------------- /frontend/mate/mate/integration/challenge_broker/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/integration/challenge_broker/__init__.py -------------------------------------------------------------------------------- /frontend/mate/mate/logging.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/logging.py -------------------------------------------------------------------------------- /frontend/mate/mate/mate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/mate.py -------------------------------------------------------------------------------- /frontend/mate/mate/poi/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/poi/__init__.py -------------------------------------------------------------------------------- /frontend/mate/mate/poi/analysis/CommandInjection.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/poi/analysis/CommandInjection.py -------------------------------------------------------------------------------- /frontend/mate/mate/poi/analysis/IteratorInvalidation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/poi/analysis/IteratorInvalidation.py -------------------------------------------------------------------------------- /frontend/mate/mate/poi/analysis/OverflowableAllocations.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/poi/analysis/OverflowableAllocations.py -------------------------------------------------------------------------------- /frontend/mate/mate/poi/analysis/PathTraversal.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/poi/analysis/PathTraversal.py -------------------------------------------------------------------------------- /frontend/mate/mate/poi/analysis/PointerDisclosure.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/poi/analysis/PointerDisclosure.py -------------------------------------------------------------------------------- /frontend/mate/mate/poi/analysis/TruncatedInteger.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/poi/analysis/TruncatedInteger.py -------------------------------------------------------------------------------- /frontend/mate/mate/poi/analysis/UninitializedStackMemory.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/poi/analysis/UninitializedStackMemory.py -------------------------------------------------------------------------------- /frontend/mate/mate/poi/analysis/UseAfterFree.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/poi/analysis/UseAfterFree.py -------------------------------------------------------------------------------- /frontend/mate/mate/poi/analysis/UserStringComparisonLength.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/poi/analysis/UserStringComparisonLength.py -------------------------------------------------------------------------------- /frontend/mate/mate/poi/analysis/VariableLengthStackObject.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/poi/analysis/VariableLengthStackObject.py -------------------------------------------------------------------------------- /frontend/mate/mate/poi/analysis/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/poi/analysis/__init__.py -------------------------------------------------------------------------------- /frontend/mate/mate/poi/poi_types.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/poi/poi_types.py -------------------------------------------------------------------------------- /frontend/mate/mate/server/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/server/__init__.py -------------------------------------------------------------------------------- /frontend/mate/mate/server/api/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /frontend/mate/mate/server/api/analyses.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/server/api/analyses.py -------------------------------------------------------------------------------- /frontend/mate/mate/server/api/artifacts.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/server/api/artifacts.py -------------------------------------------------------------------------------- /frontend/mate/mate/server/api/builds.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/server/api/builds.py -------------------------------------------------------------------------------- /frontend/mate/mate/server/api/common.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/server/api/common.py -------------------------------------------------------------------------------- /frontend/mate/mate/server/api/compilations.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/server/api/compilations.py -------------------------------------------------------------------------------- /frontend/mate/mate/server/api/graphs/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /frontend/mate/mate/server/api/graphs/queries.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/server/api/graphs/queries.py -------------------------------------------------------------------------------- /frontend/mate/mate/server/api/graphs/routes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/server/api/graphs/routes.py -------------------------------------------------------------------------------- /frontend/mate/mate/server/api/manticore.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/server/api/manticore.py -------------------------------------------------------------------------------- /frontend/mate/mate/server/api/proxy/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /frontend/mate/mate/server/api/proxy/routes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/server/api/proxy/routes.py -------------------------------------------------------------------------------- /frontend/mate/mate/server/api/status.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/server/api/status.py -------------------------------------------------------------------------------- /frontend/mate/mate/server/api/types.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/server/api/types.py -------------------------------------------------------------------------------- /frontend/mate/mate/tasks/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/tasks/__init__.py -------------------------------------------------------------------------------- /frontend/mate/mate/tasks/analyze.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/tasks/analyze.py -------------------------------------------------------------------------------- /frontend/mate/mate/tasks/build.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/tasks/build.py -------------------------------------------------------------------------------- /frontend/mate/mate/tasks/compile.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/tasks/compile.py -------------------------------------------------------------------------------- /frontend/mate/mate/tasks/pipeline.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mate/tasks/pipeline.py -------------------------------------------------------------------------------- /frontend/mate/mypy.ini: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/mypy.ini -------------------------------------------------------------------------------- /frontend/mate/requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/requirements.txt -------------------------------------------------------------------------------- /frontend/mate/setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/mate/setup.py -------------------------------------------------------------------------------- /frontend/test/datastructures_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/datastructures_test.py -------------------------------------------------------------------------------- /frontend/test/dwarf_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/dwarf_test.py -------------------------------------------------------------------------------- /frontend/test/pointer_arg_dataflow_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/pointer_arg_dataflow_test.py -------------------------------------------------------------------------------- /frontend/test/programs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/Makefile -------------------------------------------------------------------------------- /frontend/test/programs/accumulate.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/accumulate.cpp -------------------------------------------------------------------------------- /frontend/test/programs/allocation-sizes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/allocation-sizes.c -------------------------------------------------------------------------------- /frontend/test/programs/array-tests.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/array-tests.c -------------------------------------------------------------------------------- /frontend/test/programs/basictemplates.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/basictemplates.cpp -------------------------------------------------------------------------------- /frontend/test/programs/cdg-test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/cdg-test.c -------------------------------------------------------------------------------- /frontend/test/programs/cfg-test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/cfg-test.c -------------------------------------------------------------------------------- /frontend/test/programs/complex-linkage/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/complex-linkage/Makefile -------------------------------------------------------------------------------- /frontend/test/programs/complex-linkage/common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/complex-linkage/common.h -------------------------------------------------------------------------------- /frontend/test/programs/complex-linkage/helpers.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/complex-linkage/helpers.c -------------------------------------------------------------------------------- /frontend/test/programs/complex-linkage/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/complex-linkage/main.c -------------------------------------------------------------------------------- /frontend/test/programs/complex-linkage/symbols.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/complex-linkage/symbols.h -------------------------------------------------------------------------------- /frontend/test/programs/customclass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/customclass.cpp -------------------------------------------------------------------------------- /frontend/test/programs/customclassinheritance.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/customclassinheritance.cpp -------------------------------------------------------------------------------- /frontend/test/programs/cxxbasic.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/cxxbasic.cpp -------------------------------------------------------------------------------- /frontend/test/programs/dangerous-vla.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/dangerous-vla.c -------------------------------------------------------------------------------- /frontend/test/programs/deadcode.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/deadcode.c -------------------------------------------------------------------------------- /frontend/test/programs/deadcode2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/deadcode2.c -------------------------------------------------------------------------------- /frontend/test/programs/df-sig-arg-to-arg-pts-agg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/df-sig-arg-to-arg-pts-agg.c -------------------------------------------------------------------------------- /frontend/test/programs/df-sig-arg-to-arg-pts.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/df-sig-arg-to-arg-pts.c -------------------------------------------------------------------------------- /frontend/test/programs/df-sig-arg-to-ret.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/df-sig-arg-to-ret.c -------------------------------------------------------------------------------- /frontend/test/programs/dwarf_properties.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/dwarf_properties.cpp -------------------------------------------------------------------------------- /frontend/test/programs/dwarf_properties2.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/dwarf_properties2.cpp -------------------------------------------------------------------------------- /frontend/test/programs/dynamic-cast.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/dynamic-cast.cpp -------------------------------------------------------------------------------- /frontend/test/programs/errno.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/errno.c -------------------------------------------------------------------------------- /frontend/test/programs/ex_simple.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/ex_simple.c -------------------------------------------------------------------------------- /frontend/test/programs/ex_symb_index.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/ex_symb_index.c -------------------------------------------------------------------------------- /frontend/test/programs/exception-driven-control-flow.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/exception-driven-control-flow.cpp -------------------------------------------------------------------------------- /frontend/test/programs/exceptions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/exceptions.cpp -------------------------------------------------------------------------------- /frontend/test/programs/extra-args.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/extra-args.c -------------------------------------------------------------------------------- /frontend/test/programs/fake-strtol.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/fake-strtol.c -------------------------------------------------------------------------------- /frontend/test/programs/fancytypes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/fancytypes.c -------------------------------------------------------------------------------- /frontend/test/programs/forcedentry.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/forcedentry.cpp -------------------------------------------------------------------------------- /frontend/test/programs/friends.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/friends.cpp -------------------------------------------------------------------------------- /frontend/test/programs/functiontable.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/functiontable.c -------------------------------------------------------------------------------- /frontend/test/programs/functiontablebranch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/functiontablebranch.c -------------------------------------------------------------------------------- /frontend/test/programs/functiontableparm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/functiontableparm.c -------------------------------------------------------------------------------- /frontend/test/programs/garfield_minimised_setchr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/garfield_minimised_setchr.cpp -------------------------------------------------------------------------------- /frontend/test/programs/garfield_minimised_substr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/garfield_minimised_substr.cpp -------------------------------------------------------------------------------- /frontend/test/programs/global.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/global.c -------------------------------------------------------------------------------- /frontend/test/programs/globalvars.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/globalvars.c -------------------------------------------------------------------------------- /frontend/test/programs/guessing-game-cxx.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/guessing-game-cxx.cpp -------------------------------------------------------------------------------- /frontend/test/programs/guessing-game-heap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/guessing-game-heap.c -------------------------------------------------------------------------------- /frontend/test/programs/guessing-game.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/guessing-game.c -------------------------------------------------------------------------------- /frontend/test/programs/heap_oob.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/heap_oob.cpp -------------------------------------------------------------------------------- /frontend/test/programs/heap_oob_malloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/heap_oob_malloc.c -------------------------------------------------------------------------------- /frontend/test/programs/hello.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/hello.c -------------------------------------------------------------------------------- /frontend/test/programs/inlineasm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/inlineasm.c -------------------------------------------------------------------------------- /frontend/test/programs/inlineasm2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/inlineasm2.c -------------------------------------------------------------------------------- /frontend/test/programs/inlineasm3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/inlineasm3.c -------------------------------------------------------------------------------- /frontend/test/programs/inlineasm4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/inlineasm4.c -------------------------------------------------------------------------------- /frontend/test/programs/inlinedfuncs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/inlinedfuncs.c -------------------------------------------------------------------------------- /frontend/test/programs/inlinedfuncs2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/inlinedfuncs2.c -------------------------------------------------------------------------------- /frontend/test/programs/interprocedural_dataflow_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/interprocedural_dataflow_test.cpp -------------------------------------------------------------------------------- /frontend/test/programs/issue_1058.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/issue_1058.cpp -------------------------------------------------------------------------------- /frontend/test/programs/issue_1137.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/issue_1137.c -------------------------------------------------------------------------------- /frontend/test/programs/issue_1522.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/issue_1522.cpp -------------------------------------------------------------------------------- /frontend/test/programs/issue_954.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/issue_954.c -------------------------------------------------------------------------------- /frontend/test/programs/iterator-invalidation.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/iterator-invalidation.cpp -------------------------------------------------------------------------------- /frontend/test/programs/lambda.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/lambda.cpp -------------------------------------------------------------------------------- /frontend/test/programs/linkedlist.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/linkedlist.c -------------------------------------------------------------------------------- /frontend/test/programs/liveness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/liveness.c -------------------------------------------------------------------------------- /frontend/test/programs/mini-fenway-uaf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/mini-fenway-uaf.c -------------------------------------------------------------------------------- /frontend/test/programs/mmap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/mmap.c -------------------------------------------------------------------------------- /frontend/test/programs/multi_recv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/multi_recv.c -------------------------------------------------------------------------------- /frontend/test/programs/nested.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/nested.c -------------------------------------------------------------------------------- /frontend/test/programs/nested_structs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/nested_structs.c -------------------------------------------------------------------------------- /frontend/test/programs/nestedlambda.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/nestedlambda.cpp -------------------------------------------------------------------------------- /frontend/test/programs/nestedtypes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/nestedtypes.c -------------------------------------------------------------------------------- /frontend/test/programs/nontypetemplate.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/nontypetemplate.cpp -------------------------------------------------------------------------------- /frontend/test/programs/notes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/notes.c -------------------------------------------------------------------------------- /frontend/test/programs/ntu-uaf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/ntu-uaf.c -------------------------------------------------------------------------------- /frontend/test/programs/oob-condition.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/oob-condition.c -------------------------------------------------------------------------------- /frontend/test/programs/oob-write.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/oob-write.c -------------------------------------------------------------------------------- /frontend/test/programs/overflowable-allocations.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/overflowable-allocations.c -------------------------------------------------------------------------------- /frontend/test/programs/overflowable-allocations.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/overflowable-allocations.cpp -------------------------------------------------------------------------------- /frontend/test/programs/ovington-extra-minimal.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/ovington-extra-minimal.cpp -------------------------------------------------------------------------------- /frontend/test/programs/ovington-minimal.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/ovington-minimal.cpp -------------------------------------------------------------------------------- /frontend/test/programs/param-binding-and-return.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/param-binding-and-return.cpp -------------------------------------------------------------------------------- /frontend/test/programs/placement_new_simple.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/placement_new_simple.cpp -------------------------------------------------------------------------------- /frontend/test/programs/poi-authentication-control.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/poi-authentication-control.c -------------------------------------------------------------------------------- /frontend/test/programs/poi-constant-index-array-access.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/poi-constant-index-array-access.c -------------------------------------------------------------------------------- /frontend/test/programs/poi-intraprocedural-use-after-free.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/poi-intraprocedural-use-after-free.c -------------------------------------------------------------------------------- /frontend/test/programs/poi-kernel-cve-uninit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/poi-kernel-cve-uninit.c -------------------------------------------------------------------------------- /frontend/test/programs/poi-memcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/poi-memcpy.c -------------------------------------------------------------------------------- /frontend/test/programs/poi-path-traversal-recv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/poi-path-traversal-recv.c -------------------------------------------------------------------------------- /frontend/test/programs/poi-path-traversal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/poi-path-traversal.c -------------------------------------------------------------------------------- /frontend/test/programs/poi-pointer-disclosure.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/poi-pointer-disclosure.c -------------------------------------------------------------------------------- /frontend/test/programs/poi-unbounded-array-access.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/poi-unbounded-array-access.c -------------------------------------------------------------------------------- /frontend/test/programs/poi-uninit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/poi-uninit.c -------------------------------------------------------------------------------- /frontend/test/programs/poi-user-controlled-string-comparison-length.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/poi-user-controlled-string-comparison-length.c -------------------------------------------------------------------------------- /frontend/test/programs/pointer_arg_dataflow_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/pointer_arg_dataflow_test.c -------------------------------------------------------------------------------- /frontend/test/programs/points-to_context.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/points-to_context.c -------------------------------------------------------------------------------- /frontend/test/programs/points-to_malloc-context.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/points-to_malloc-context.c -------------------------------------------------------------------------------- /frontend/test/programs/points-to_new-context.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/points-to_new-context.cpp -------------------------------------------------------------------------------- /frontend/test/programs/recurse.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/recurse.c -------------------------------------------------------------------------------- /frontend/test/programs/recurselambda.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/recurselambda.cpp -------------------------------------------------------------------------------- /frontend/test/programs/signatures.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/signatures.c -------------------------------------------------------------------------------- /frontend/test/programs/simple-uaf-read.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/simple-uaf-read.c -------------------------------------------------------------------------------- /frontend/test/programs/simple-uaf-write.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/simple-uaf-write.c -------------------------------------------------------------------------------- /frontend/test/programs/simple-uaf.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/simple-uaf.cpp -------------------------------------------------------------------------------- /frontend/test/programs/sql_injection.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/sql_injection.c -------------------------------------------------------------------------------- /frontend/test/programs/stack-args-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/stack-args-2.c -------------------------------------------------------------------------------- /frontend/test/programs/stack-args.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/stack-args.c -------------------------------------------------------------------------------- /frontend/test/programs/standalone.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/standalone.c -------------------------------------------------------------------------------- /frontend/test/programs/staticfuncs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/staticfuncs.c -------------------------------------------------------------------------------- /frontend/test/programs/stdinttypes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/stdinttypes.c -------------------------------------------------------------------------------- /frontend/test/programs/strings.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/strings.cpp -------------------------------------------------------------------------------- /frontend/test/programs/struct-by-ptr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/struct-by-ptr.c -------------------------------------------------------------------------------- /frontend/test/programs/struct-by-value.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/struct-by-value.c -------------------------------------------------------------------------------- /frontend/test/programs/struct_bounds.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/struct_bounds.c -------------------------------------------------------------------------------- /frontend/test/programs/switch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/switch.c -------------------------------------------------------------------------------- /frontend/test/programs/symbol-alias.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/symbol-alias.c -------------------------------------------------------------------------------- /frontend/test/programs/symbol-menagerie.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/symbol-menagerie.c -------------------------------------------------------------------------------- /frontend/test/programs/test-dataflow-small.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/test-dataflow-small.c -------------------------------------------------------------------------------- /frontend/test/programs/test-dataflow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/test-dataflow.c -------------------------------------------------------------------------------- /frontend/test/programs/triple_nested_structs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/triple_nested_structs.c -------------------------------------------------------------------------------- /frontend/test/programs/truncated-integer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/truncated-integer.c -------------------------------------------------------------------------------- /frontend/test/programs/truncated-integer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/truncated-integer.cpp -------------------------------------------------------------------------------- /frontend/test/programs/type-backprop.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/type-backprop.c -------------------------------------------------------------------------------- /frontend/test/programs/underconstrained_complex_inheritance.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/underconstrained_complex_inheritance.cpp -------------------------------------------------------------------------------- /frontend/test/programs/underconstrained_complex_inheritance2.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/underconstrained_complex_inheritance2.cpp -------------------------------------------------------------------------------- /frontend/test/programs/underconstrained_complex_inheritance3.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/underconstrained_complex_inheritance3.cpp -------------------------------------------------------------------------------- /frontend/test/programs/underconstrained_cpp_vector.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/underconstrained_cpp_vector.cpp -------------------------------------------------------------------------------- /frontend/test/programs/underconstrained_oob_read.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/underconstrained_oob_read.c -------------------------------------------------------------------------------- /frontend/test/programs/underconstrained_oob_write.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/underconstrained_oob_write.c -------------------------------------------------------------------------------- /frontend/test/programs/underconstrained_silent_oob_write.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/underconstrained_silent_oob_write.c -------------------------------------------------------------------------------- /frontend/test/programs/underconstrained_symbolic_offset_read.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/underconstrained_symbolic_offset_read.c -------------------------------------------------------------------------------- /frontend/test/programs/underconstrained_symbolic_offset_write.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/underconstrained_symbolic_offset_write.c -------------------------------------------------------------------------------- /frontend/test/programs/underconstrained_virtual_method.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/underconstrained_virtual_method.cpp -------------------------------------------------------------------------------- /frontend/test/programs/uninit-stack-array-use.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/uninit-stack-array-use.c -------------------------------------------------------------------------------- /frontend/test/programs/uninit-stack-var-use.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/uninit-stack-var-use.c -------------------------------------------------------------------------------- /frontend/test/programs/unused_argument.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/unused_argument.c -------------------------------------------------------------------------------- /frontend/test/programs/varargs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/varargs.c -------------------------------------------------------------------------------- /frontend/test/programs/variadicfunctemplate.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/variadicfunctemplate.cpp -------------------------------------------------------------------------------- /frontend/test/programs/variadictemplatemultiple.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/variadictemplatemultiple.cpp -------------------------------------------------------------------------------- /frontend/test/programs/virtual-multiple-inheritance.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/virtual-multiple-inheritance.cpp -------------------------------------------------------------------------------- /frontend/test/programs/virtual.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/virtual.cpp -------------------------------------------------------------------------------- /frontend/test/programs/voidptr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/programs/voidptr.c -------------------------------------------------------------------------------- /frontend/test/script.gdb: -------------------------------------------------------------------------------- 1 | break ASTGraphWriter.cpp:481 2 | -------------------------------------------------------------------------------- /frontend/test/server-programs/hello/challenge_src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/server-programs/hello/challenge_src/Makefile -------------------------------------------------------------------------------- /frontend/test/server-programs/hello/challenge_src/common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/server-programs/hello/challenge_src/common.h -------------------------------------------------------------------------------- /frontend/test/server-programs/hello/challenge_src/hello.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/server-programs/hello/challenge_src/hello.c -------------------------------------------------------------------------------- /frontend/test/server-programs/no-cc/challenge_src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/server-programs/no-cc/challenge_src/Makefile -------------------------------------------------------------------------------- /frontend/test/server-programs/no-cc/challenge_src/common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/server-programs/no-cc/challenge_src/common.h -------------------------------------------------------------------------------- /frontend/test/server-programs/no-cc/challenge_src/hello.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/server-programs/no-cc/challenge_src/hello.c -------------------------------------------------------------------------------- /frontend/test/test_json_schema.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/frontend/test/test_json_schema.py -------------------------------------------------------------------------------- /jupyter/examples/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/jupyter/examples/.gitignore -------------------------------------------------------------------------------- /jupyter/examples/assets/garfield_minimised_setchr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/jupyter/examples/assets/garfield_minimised_setchr.cpp -------------------------------------------------------------------------------- /jupyter/examples/assets/guessing-game.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/jupyter/examples/assets/guessing-game.c -------------------------------------------------------------------------------- /jupyter/examples/assets/guessing-game.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/jupyter/examples/assets/guessing-game.ll -------------------------------------------------------------------------------- /jupyter/examples/assets/notes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/jupyter/examples/assets/notes.c -------------------------------------------------------------------------------- /jupyter/examples/cpg-tutorial-no-solutions.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/jupyter/examples/cpg-tutorial-no-solutions.ipynb -------------------------------------------------------------------------------- /jupyter/examples/cpg-tutorial-with-solutions.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/jupyter/examples/cpg-tutorial-with-solutions.ipynb -------------------------------------------------------------------------------- /jupyter/examples/usage-finder.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/jupyter/examples/usage-finder.ipynb -------------------------------------------------------------------------------- /jupyter/ipython_config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/jupyter/ipython_config.py -------------------------------------------------------------------------------- /jupyter/start-notebook-server.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/jupyter/start-notebook-server.sh -------------------------------------------------------------------------------- /llvm/.clang-format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/llvm/.clang-format -------------------------------------------------------------------------------- /llvm/.clang-tidy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/llvm/.clang-tidy -------------------------------------------------------------------------------- /llvm/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/llvm/.gitignore -------------------------------------------------------------------------------- /llvm/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/llvm/CMakeLists.txt -------------------------------------------------------------------------------- /llvm/MATE/ASTGraphWriter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/llvm/MATE/ASTGraphWriter.cpp -------------------------------------------------------------------------------- /llvm/MATE/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/llvm/MATE/CMakeLists.txt -------------------------------------------------------------------------------- /llvm/MATE/ControlDependenceGraph.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/llvm/MATE/ControlDependenceGraph.cpp -------------------------------------------------------------------------------- /llvm/MATE/ControlDependenceGraph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/llvm/MATE/ControlDependenceGraph.h -------------------------------------------------------------------------------- /llvm/MATE/Edges.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/llvm/MATE/Edges.h -------------------------------------------------------------------------------- /llvm/MATE/Nodes.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/llvm/MATE/Nodes.cpp -------------------------------------------------------------------------------- /llvm/MATE/Nodes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/llvm/MATE/Nodes.h -------------------------------------------------------------------------------- /llvm/MATE/Serialize/Nodes.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/llvm/MATE/Serialize/Nodes.cpp -------------------------------------------------------------------------------- /llvm/MATE/Serialize/Nodes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/llvm/MATE/Serialize/Nodes.h -------------------------------------------------------------------------------- /llvm/MATE/Serialize/Types.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/llvm/MATE/Serialize/Types.cpp -------------------------------------------------------------------------------- /llvm/MATE/Serialize/Types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/llvm/MATE/Serialize/Types.h -------------------------------------------------------------------------------- /llvm/MATE/TraceLogger.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/llvm/MATE/TraceLogger.cpp -------------------------------------------------------------------------------- /llvm/MATE/Utils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/llvm/MATE/Utils.cpp -------------------------------------------------------------------------------- /llvm/MATE/Utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/llvm/MATE/Utils.h -------------------------------------------------------------------------------- /llvm/headache/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/llvm/headache/CMakeLists.txt -------------------------------------------------------------------------------- /llvm/headache/headache.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/llvm/headache/headache.cpp -------------------------------------------------------------------------------- /llvm/nomina/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/llvm/nomina/CMakeLists.txt -------------------------------------------------------------------------------- /llvm/nomina/nomina.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/llvm/nomina/nomina.cpp -------------------------------------------------------------------------------- /mantiserve/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/mantiserve/README.md -------------------------------------------------------------------------------- /mantiserve/mantiserve/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/mantiserve/mantiserve/__init__.py -------------------------------------------------------------------------------- /mantiserve/mantiserve/apogee_ex1_specific.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/mantiserve/mantiserve/apogee_ex1_specific.py -------------------------------------------------------------------------------- /mantiserve/mantiserve/context.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/mantiserve/mantiserve/context.py -------------------------------------------------------------------------------- /mantiserve/mantiserve/exceptions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/mantiserve/mantiserve/exceptions.py -------------------------------------------------------------------------------- /mantiserve/mantiserve/hooks.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/mantiserve/mantiserve/hooks.py -------------------------------------------------------------------------------- /mantiserve/mantiserve/liftsmt2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/mantiserve/mantiserve/liftsmt2.py -------------------------------------------------------------------------------- /mantiserve/mantiserve/logging.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/mantiserve/mantiserve/logging.py -------------------------------------------------------------------------------- /mantiserve/mantiserve/mantireach.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/mantiserve/mantiserve/mantireach.py -------------------------------------------------------------------------------- /mantiserve/mantiserve/tasks/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /mantiserve/mantiserve/tasks/docker_util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/mantiserve/mantiserve/tasks/docker_util.py -------------------------------------------------------------------------------- /mantiserve/mantiserve/tasks/explore.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/mantiserve/mantiserve/tasks/explore.py -------------------------------------------------------------------------------- /mantiserve/mantiserve/tasks/reachability.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/mantiserve/mantiserve/tasks/reachability.py -------------------------------------------------------------------------------- /mantiserve/mantiserve/tasks/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/mantiserve/mantiserve/tasks/util.py -------------------------------------------------------------------------------- /mantiserve/mypy.ini: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/mantiserve/mypy.ini -------------------------------------------------------------------------------- /mantiserve/requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/mantiserve/requirements.txt -------------------------------------------------------------------------------- /mantiserve/setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/mantiserve/setup.py -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/pyproject.toml -------------------------------------------------------------------------------- /pysmt2lib/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/pysmt2lib/.gitignore -------------------------------------------------------------------------------- /pysmt2lib/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/pysmt2lib/README.md -------------------------------------------------------------------------------- /pysmt2lib/requirements.txt: -------------------------------------------------------------------------------- 1 | antlr4-python3-runtime==4.7.2 2 | -------------------------------------------------------------------------------- /pysmt2lib/setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/pysmt2lib/setup.py -------------------------------------------------------------------------------- /pysmt2lib/smt2lib/SMTLIBv2.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/pysmt2lib/smt2lib/SMTLIBv2.g4 -------------------------------------------------------------------------------- /pysmt2lib/smt2lib/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /pytest.ini: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/pytest.ini -------------------------------------------------------------------------------- /shake.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/shake.sh -------------------------------------------------------------------------------- /shake/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/shake/.gitignore -------------------------------------------------------------------------------- /shake/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/shake/README -------------------------------------------------------------------------------- /shake/exe/Mate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/shake/exe/Mate.hs -------------------------------------------------------------------------------- /shake/mate.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/shake/mate.cabal -------------------------------------------------------------------------------- /shake/src/Development/Shake/BuildConfig.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/shake/src/Development/Shake/BuildConfig.hs -------------------------------------------------------------------------------- /shake/src/Development/Shake/Changes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/shake/src/Development/Shake/Changes.hs -------------------------------------------------------------------------------- /shake/src/Development/Shake/Hybrid.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/shake/src/Development/Shake/Hybrid.hs -------------------------------------------------------------------------------- /shake/src/Development/Shake/Lint.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/shake/src/Development/Shake/Lint.hs -------------------------------------------------------------------------------- /tests/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/aliasing/context.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/aliasing/context.cpp -------------------------------------------------------------------------------- /tests/aliasing/context.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/aliasing/context.ll -------------------------------------------------------------------------------- /tests/aliasing/trivial.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/aliasing/trivial.c -------------------------------------------------------------------------------- /tests/aliasing/trivial.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/aliasing/trivial.ll -------------------------------------------------------------------------------- /tests/assets/dockerfiles/Dockerfile.phase2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/assets/dockerfiles/Dockerfile.phase2 -------------------------------------------------------------------------------- /tests/assets/dockerfiles/Dockerfile.phase3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/assets/dockerfiles/Dockerfile.phase3 -------------------------------------------------------------------------------- /tests/conftest.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/conftest.py -------------------------------------------------------------------------------- /tests/cromulence/injection/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/README.md -------------------------------------------------------------------------------- /tests/cromulence/injection/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/build.sh -------------------------------------------------------------------------------- /tests/cromulence/injection/challenge_bin/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/challenge_bin/Dockerfile -------------------------------------------------------------------------------- /tests/cromulence/injection/challenge_src/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/challenge_src/Dockerfile -------------------------------------------------------------------------------- /tests/cromulence/injection/challenge_src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/challenge_src/Makefile -------------------------------------------------------------------------------- /tests/cromulence/injection/challenge_src/bryant.bin.0.5.precodegen.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/challenge_src/bryant.bin.0.5.precodegen.ll -------------------------------------------------------------------------------- /tests/cromulence/injection/challenge_src/src/csv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/challenge_src/src/csv.c -------------------------------------------------------------------------------- /tests/cromulence/injection/challenge_src/src/csv.h: -------------------------------------------------------------------------------- 1 | 2 | #pragma once 3 | 4 | #include "db.h" 5 | 6 | table* load_csv(char* filename); 7 | -------------------------------------------------------------------------------- /tests/cromulence/injection/challenge_src/src/db.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/challenge_src/src/db.c -------------------------------------------------------------------------------- /tests/cromulence/injection/challenge_src/src/db.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/challenge_src/src/db.h -------------------------------------------------------------------------------- /tests/cromulence/injection/challenge_src/src/execute.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/challenge_src/src/execute.c -------------------------------------------------------------------------------- /tests/cromulence/injection/challenge_src/src/execute.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/challenge_src/src/execute.h -------------------------------------------------------------------------------- /tests/cromulence/injection/challenge_src/src/kvlist.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/challenge_src/src/kvlist.c -------------------------------------------------------------------------------- /tests/cromulence/injection/challenge_src/src/kvlist.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/challenge_src/src/kvlist.h -------------------------------------------------------------------------------- /tests/cromulence/injection/challenge_src/src/lex.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/challenge_src/src/lex.h -------------------------------------------------------------------------------- /tests/cromulence/injection/challenge_src/src/log.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/challenge_src/src/log.h -------------------------------------------------------------------------------- /tests/cromulence/injection/challenge_src/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/challenge_src/src/main.c -------------------------------------------------------------------------------- /tests/cromulence/injection/challenge_src/src/parse.tab.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/challenge_src/src/parse.tab.c -------------------------------------------------------------------------------- /tests/cromulence/injection/challenge_src/src/parse.tab.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/challenge_src/src/parse.tab.h -------------------------------------------------------------------------------- /tests/cromulence/injection/challenge_src/src/parse.yy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/challenge_src/src/parse.yy.c -------------------------------------------------------------------------------- /tests/cromulence/injection/challenge_src/src/plan.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/challenge_src/src/plan.c -------------------------------------------------------------------------------- /tests/cromulence/injection/challenge_src/src/plan.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/challenge_src/src/plan.h -------------------------------------------------------------------------------- /tests/cromulence/injection/challenge_src/src/query_parser.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/challenge_src/src/query_parser.c -------------------------------------------------------------------------------- /tests/cromulence/injection/challenge_src/src/query_parser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/challenge_src/src/query_parser.h -------------------------------------------------------------------------------- /tests/cromulence/injection/challenge_src/src/session.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/challenge_src/src/session.c -------------------------------------------------------------------------------- /tests/cromulence/injection/challenge_src/src/session.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/challenge_src/src/session.h -------------------------------------------------------------------------------- /tests/cromulence/injection/challenge_src/src/stack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/challenge_src/src/stack.c -------------------------------------------------------------------------------- /tests/cromulence/injection/challenge_src/src/stack.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/challenge_src/src/stack.h -------------------------------------------------------------------------------- /tests/cromulence/injection/reference_patch/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/reference_patch/Dockerfile -------------------------------------------------------------------------------- /tests/cromulence/injection/reference_patch/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/reference_patch/Makefile -------------------------------------------------------------------------------- /tests/cromulence/injection/reference_patch/src/csv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/reference_patch/src/csv.c -------------------------------------------------------------------------------- /tests/cromulence/injection/reference_patch/src/csv.h: -------------------------------------------------------------------------------- 1 | 2 | #pragma once 3 | 4 | #include "db.h" 5 | 6 | table* load_csv(char* filename); 7 | -------------------------------------------------------------------------------- /tests/cromulence/injection/reference_patch/src/db.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/reference_patch/src/db.c -------------------------------------------------------------------------------- /tests/cromulence/injection/reference_patch/src/db.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/reference_patch/src/db.h -------------------------------------------------------------------------------- /tests/cromulence/injection/reference_patch/src/execute.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/reference_patch/src/execute.c -------------------------------------------------------------------------------- /tests/cromulence/injection/reference_patch/src/execute.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/reference_patch/src/execute.h -------------------------------------------------------------------------------- /tests/cromulence/injection/reference_patch/src/kvlist.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/reference_patch/src/kvlist.c -------------------------------------------------------------------------------- /tests/cromulence/injection/reference_patch/src/kvlist.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/reference_patch/src/kvlist.h -------------------------------------------------------------------------------- /tests/cromulence/injection/reference_patch/src/lex.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/reference_patch/src/lex.h -------------------------------------------------------------------------------- /tests/cromulence/injection/reference_patch/src/log.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/reference_patch/src/log.h -------------------------------------------------------------------------------- /tests/cromulence/injection/reference_patch/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/reference_patch/src/main.c -------------------------------------------------------------------------------- /tests/cromulence/injection/reference_patch/src/parse.tab.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/reference_patch/src/parse.tab.c -------------------------------------------------------------------------------- /tests/cromulence/injection/reference_patch/src/parse.tab.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/reference_patch/src/parse.tab.h -------------------------------------------------------------------------------- /tests/cromulence/injection/reference_patch/src/parse.yy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/reference_patch/src/parse.yy.c -------------------------------------------------------------------------------- /tests/cromulence/injection/reference_patch/src/plan.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/reference_patch/src/plan.c -------------------------------------------------------------------------------- /tests/cromulence/injection/reference_patch/src/plan.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/reference_patch/src/plan.h -------------------------------------------------------------------------------- /tests/cromulence/injection/reference_patch/src/query_parser.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/reference_patch/src/query_parser.c -------------------------------------------------------------------------------- /tests/cromulence/injection/reference_patch/src/query_parser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/reference_patch/src/query_parser.h -------------------------------------------------------------------------------- /tests/cromulence/injection/reference_patch/src/session.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/reference_patch/src/session.c -------------------------------------------------------------------------------- /tests/cromulence/injection/reference_patch/src/session.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/reference_patch/src/session.h -------------------------------------------------------------------------------- /tests/cromulence/injection/reference_patch/src/stack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/reference_patch/src/stack.c -------------------------------------------------------------------------------- /tests/cromulence/injection/reference_patch/src/stack.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/reference_patch/src/stack.h -------------------------------------------------------------------------------- /tests/cromulence/injection/reference_pov/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/reference_pov/Dockerfile -------------------------------------------------------------------------------- /tests/cromulence/injection/reference_pov/bryant-pov.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/reference_pov/bryant-pov.rb -------------------------------------------------------------------------------- /tests/cromulence/injection/service_poller/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/service_poller/Dockerfile -------------------------------------------------------------------------------- /tests/cromulence/injection/service_poller/bryant-poller.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/cromulence/injection/service_poller/bryant-poller.rb -------------------------------------------------------------------------------- /tests/dwarfcore/binaries/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/dwarfcore/binaries/README.md -------------------------------------------------------------------------------- /tests/dwarfcore/binaries/ex_simple.conc.O1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/dwarfcore/binaries/ex_simple.conc.O1.gold -------------------------------------------------------------------------------- /tests/dwarfcore/binaries/ex_simple.symb.O1.gold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/dwarfcore/binaries/ex_simple.symb.O1.gold -------------------------------------------------------------------------------- /tests/dwarfcore/test_dwarf_trace.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/dwarfcore/test_dwarf_trace.py -------------------------------------------------------------------------------- /tests/dwarfcore/test_dwarf_variables.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/dwarfcore/test_dwarf_variables.py -------------------------------------------------------------------------------- /tests/dwarfcore/test_dwarfcore.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/dwarfcore/test_dwarfcore.py -------------------------------------------------------------------------------- /tests/dwarfcore/test_uaf_detector.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/dwarfcore/test_uaf_detector.py -------------------------------------------------------------------------------- /tests/dwarfcore/test_uninit_var_detect.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/dwarfcore/test_uninit_var_detect.py -------------------------------------------------------------------------------- /tests/integration/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/integration/conftest.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/integration/conftest.py -------------------------------------------------------------------------------- /tests/integration/mantiserve/integration_reachability_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/integration/mantiserve/integration_reachability_test.py -------------------------------------------------------------------------------- /tests/mantiserve/messages_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/mantiserve/messages_test.py -------------------------------------------------------------------------------- /tests/mantiserve/reachability_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/mantiserve/reachability_test.py -------------------------------------------------------------------------------- /tests/mantiserve/test_underconstrained.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/mantiserve/test_underconstrained.py -------------------------------------------------------------------------------- /tests/mantiserve/validate_smt2_expr_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/mantiserve/validate_smt2_expr_test.py -------------------------------------------------------------------------------- /tests/postgres/assets/df-sig-arg-to-arg-pts-agg.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/assets/df-sig-arg-to-arg-pts-agg.yml -------------------------------------------------------------------------------- /tests/postgres/assets/df-sig-arg-to-arg-pts.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/assets/df-sig-arg-to-arg-pts.yml -------------------------------------------------------------------------------- /tests/postgres/assets/df-sig-arg-to-ret.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/assets/df-sig-arg-to-ret.yml -------------------------------------------------------------------------------- /tests/postgres/assets/signatures-bad.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/assets/signatures-bad.yml -------------------------------------------------------------------------------- /tests/postgres/assets/signatures.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/assets/signatures.yml -------------------------------------------------------------------------------- /tests/postgres/fixtures/diamond/edges.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/fixtures/diamond/edges.csv -------------------------------------------------------------------------------- /tests/postgres/fixtures/diamond/nodes.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/fixtures/diamond/nodes.csv -------------------------------------------------------------------------------- /tests/postgres/fixtures/small/edges.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/fixtures/small/edges.csv -------------------------------------------------------------------------------- /tests/postgres/fixtures/small/nodes.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/fixtures/small/nodes.csv -------------------------------------------------------------------------------- /tests/postgres/poi_analysis/command_injection_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/poi_analysis/command_injection_test.py -------------------------------------------------------------------------------- /tests/postgres/poi_analysis/iterator_invalidation_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/poi_analysis/iterator_invalidation_test.py -------------------------------------------------------------------------------- /tests/postgres/poi_analysis/overflowable_allocations_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/poi_analysis/overflowable_allocations_test.py -------------------------------------------------------------------------------- /tests/postgres/poi_analysis/path_traversal_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/poi_analysis/path_traversal_test.py -------------------------------------------------------------------------------- /tests/postgres/poi_analysis/pointer_disclosure_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/poi_analysis/pointer_disclosure_test.py -------------------------------------------------------------------------------- /tests/postgres/poi_analysis/test_poi_user_string_comparison_length.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/poi_analysis/test_poi_user_string_comparison_length.py -------------------------------------------------------------------------------- /tests/postgres/poi_analysis/truncated_integer_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/poi_analysis/truncated_integer_test.py -------------------------------------------------------------------------------- /tests/postgres/poi_analysis/uninitialized_stack_memory_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/poi_analysis/uninitialized_stack_memory_test.py -------------------------------------------------------------------------------- /tests/postgres/poi_analysis/use_after_free_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/poi_analysis/use_after_free_test.py -------------------------------------------------------------------------------- /tests/postgres/poi_analysis/variable_length_stack_object_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/poi_analysis/variable_length_stack_object_test.py -------------------------------------------------------------------------------- /tests/postgres/test_allocation_size.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_allocation_size.py -------------------------------------------------------------------------------- /tests/postgres/test_argument_pairing.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_argument_pairing.py -------------------------------------------------------------------------------- /tests/postgres/test_array_size.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_array_size.py -------------------------------------------------------------------------------- /tests/postgres/test_asm_insts.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_asm_insts.py -------------------------------------------------------------------------------- /tests/postgres/test_blocks.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_blocks.py -------------------------------------------------------------------------------- /tests/postgres/test_build_pipelines.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_build_pipelines.py -------------------------------------------------------------------------------- /tests/postgres/test_callgraph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_callgraph.py -------------------------------------------------------------------------------- /tests/postgres/test_callsite.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_callsite.py -------------------------------------------------------------------------------- /tests/postgres/test_cdg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_cdg.py -------------------------------------------------------------------------------- /tests/postgres/test_cfgviews.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_cfgviews.py -------------------------------------------------------------------------------- /tests/postgres/test_cfl_paths.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_cfl_paths.py -------------------------------------------------------------------------------- /tests/postgres/test_dataflow.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_dataflow.py -------------------------------------------------------------------------------- /tests/postgres/test_default_signatures.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_default_signatures.py -------------------------------------------------------------------------------- /tests/postgres/test_determinism.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_determinism.py -------------------------------------------------------------------------------- /tests/postgres/test_dwarf_properties.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_dwarf_properties.py -------------------------------------------------------------------------------- /tests/postgres/test_exception_cf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_exception_cf.py -------------------------------------------------------------------------------- /tests/postgres/test_extra_args.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_extra_args.py -------------------------------------------------------------------------------- /tests/postgres/test_function_argument_names.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_function_argument_names.py -------------------------------------------------------------------------------- /tests/postgres/test_global_load_store.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_global_load_store.py -------------------------------------------------------------------------------- /tests/postgres/test_global_variables.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_global_variables.py -------------------------------------------------------------------------------- /tests/postgres/test_guessing_game.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_guessing_game.py -------------------------------------------------------------------------------- /tests/postgres/test_harness.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_harness.py -------------------------------------------------------------------------------- /tests/postgres/test_implicit_this.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_implicit_this.py -------------------------------------------------------------------------------- /tests/postgres/test_invariants.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_invariants.py -------------------------------------------------------------------------------- /tests/postgres/test_issue_1058.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_issue_1058.py -------------------------------------------------------------------------------- /tests/postgres/test_issue_1137.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_issue_1137.py -------------------------------------------------------------------------------- /tests/postgres/test_issue_1522.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_issue_1522.py -------------------------------------------------------------------------------- /tests/postgres/test_issue_954.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_issue_954.py -------------------------------------------------------------------------------- /tests/postgres/test_llvm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_llvm.py -------------------------------------------------------------------------------- /tests/postgres/test_local_variables.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_local_variables.py -------------------------------------------------------------------------------- /tests/postgres/test_machinefunction_frame.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_machinefunction_frame.py -------------------------------------------------------------------------------- /tests/postgres/test_mini_ovington.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_mini_ovington.py -------------------------------------------------------------------------------- /tests/postgres/test_mmap.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_mmap.py -------------------------------------------------------------------------------- /tests/postgres/test_null_pointer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_null_pointer.py -------------------------------------------------------------------------------- /tests/postgres/test_param_binding_call_return.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_param_binding_call_return.py -------------------------------------------------------------------------------- /tests/postgres/test_paths.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_paths.py -------------------------------------------------------------------------------- /tests/postgres/test_plt_stubs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_plt_stubs.py -------------------------------------------------------------------------------- /tests/postgres/test_points_to.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_points_to.py -------------------------------------------------------------------------------- /tests/postgres/test_signatures.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_signatures.py -------------------------------------------------------------------------------- /tests/postgres/test_stack_back_propagation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_stack_back_propagation.py -------------------------------------------------------------------------------- /tests/postgres/test_subgraphs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_subgraphs.py -------------------------------------------------------------------------------- /tests/postgres/test_symbol_alias.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_symbol_alias.py -------------------------------------------------------------------------------- /tests/postgres/test_symbol_table.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_symbol_table.py -------------------------------------------------------------------------------- /tests/postgres/test_thread_local.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_thread_local.py -------------------------------------------------------------------------------- /tests/postgres/test_translation_unit.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_translation_unit.py -------------------------------------------------------------------------------- /tests/postgres/test_type.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_type.py -------------------------------------------------------------------------------- /tests/postgres/test_variadic_template.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_variadic_template.py -------------------------------------------------------------------------------- /tests/postgres/test_vtable.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/postgres/test_vtable.py -------------------------------------------------------------------------------- /tests/simple/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/simple/CMakeLists.txt -------------------------------------------------------------------------------- /tests/simple/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/simple/README.md -------------------------------------------------------------------------------- /tests/simple/authentication/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/simple/authentication/Makefile -------------------------------------------------------------------------------- /tests/simple/authentication/adminLogging.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/simple/authentication/adminLogging.txt -------------------------------------------------------------------------------- /tests/simple/authentication/authentication-no-comments.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/simple/authentication/authentication-no-comments.c -------------------------------------------------------------------------------- /tests/simple/authentication/authentication.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/simple/authentication/authentication.c -------------------------------------------------------------------------------- /tests/simple/authentication/authentication.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/simple/authentication/authentication.ll -------------------------------------------------------------------------------- /tests/simple/authentication/credentials.txt: -------------------------------------------------------------------------------- 1 | seneca 2 | admin 3 | 4 | -------------------------------------------------------------------------------- /tests/simple/out-of-bounds-read/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/simple/out-of-bounds-read/Makefile -------------------------------------------------------------------------------- /tests/simple/out-of-bounds-read/out_of_bounds_read.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/simple/out-of-bounds-read/out_of_bounds_read.c -------------------------------------------------------------------------------- /tests/simple/out-of-bounds-read/out_of_bounds_read.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/simple/out-of-bounds-read/out_of_bounds_read.ll -------------------------------------------------------------------------------- /tests/simple/registration/registration.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/tests/simple/registration/registration.cpp -------------------------------------------------------------------------------- /ui-client/.editorconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/.editorconfig -------------------------------------------------------------------------------- /ui-client/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/.gitignore -------------------------------------------------------------------------------- /ui-client/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/README.md -------------------------------------------------------------------------------- /ui-client/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/package-lock.json -------------------------------------------------------------------------------- /ui-client/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/package.json -------------------------------------------------------------------------------- /ui-client/public/favicon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/public/favicon.ico -------------------------------------------------------------------------------- /ui-client/public/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/public/index.html -------------------------------------------------------------------------------- /ui-client/public/manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/public/manifest.json -------------------------------------------------------------------------------- /ui-client/public/robots.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/public/robots.txt -------------------------------------------------------------------------------- /ui-client/src/components/Background.test.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/Background.test.tsx -------------------------------------------------------------------------------- /ui-client/src/components/Background.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/Background.tsx -------------------------------------------------------------------------------- /ui-client/src/components/ErrorAlert.test.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/ErrorAlert.test.tsx -------------------------------------------------------------------------------- /ui-client/src/components/ErrorAlert.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/ErrorAlert.tsx -------------------------------------------------------------------------------- /ui-client/src/components/Filters.test.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/Filters.test.tsx -------------------------------------------------------------------------------- /ui-client/src/components/Filters.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/Filters.tsx -------------------------------------------------------------------------------- /ui-client/src/components/FunctionSelector.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/FunctionSelector.tsx -------------------------------------------------------------------------------- /ui-client/src/components/Graph/Graph.test.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/Graph/Graph.test.tsx -------------------------------------------------------------------------------- /ui-client/src/components/Graph/Graph.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/Graph/Graph.tsx -------------------------------------------------------------------------------- /ui-client/src/components/Graph/ProcessingIndicator.test.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/Graph/ProcessingIndicator.test.tsx -------------------------------------------------------------------------------- /ui-client/src/components/Graph/ProcessingIndicator.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/Graph/ProcessingIndicator.tsx -------------------------------------------------------------------------------- /ui-client/src/components/Graph/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/Graph/index.ts -------------------------------------------------------------------------------- /ui-client/src/components/Graph/styles.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/Graph/styles.ts -------------------------------------------------------------------------------- /ui-client/src/components/Graph/test-graphs.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/Graph/test-graphs.ts -------------------------------------------------------------------------------- /ui-client/src/components/Graph/tools.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/Graph/tools.test.ts -------------------------------------------------------------------------------- /ui-client/src/components/Graph/tools.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/Graph/tools.ts -------------------------------------------------------------------------------- /ui-client/src/components/Graph/types.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/Graph/types.ts -------------------------------------------------------------------------------- /ui-client/src/components/GraphCard.test.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/GraphCard.test.tsx -------------------------------------------------------------------------------- /ui-client/src/components/GraphCard.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/GraphCard.tsx -------------------------------------------------------------------------------- /ui-client/src/components/Header.test.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/Header.test.tsx -------------------------------------------------------------------------------- /ui-client/src/components/Header.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/Header.tsx -------------------------------------------------------------------------------- /ui-client/src/components/Insight.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/Insight.tsx -------------------------------------------------------------------------------- /ui-client/src/components/LoadingIndicator.test.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/LoadingIndicator.test.tsx -------------------------------------------------------------------------------- /ui-client/src/components/LoadingIndicator.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/LoadingIndicator.tsx -------------------------------------------------------------------------------- /ui-client/src/components/LogViewer.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/LogViewer.tsx -------------------------------------------------------------------------------- /ui-client/src/components/NodeSelector.test.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/NodeSelector.test.tsx -------------------------------------------------------------------------------- /ui-client/src/components/NodeSelector.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/NodeSelector.tsx -------------------------------------------------------------------------------- /ui-client/src/components/NodeTooltip.test.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/NodeTooltip.test.tsx -------------------------------------------------------------------------------- /ui-client/src/components/NodeTooltip.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/NodeTooltip.tsx -------------------------------------------------------------------------------- /ui-client/src/components/NotebookButton.test.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/NotebookButton.test.tsx -------------------------------------------------------------------------------- /ui-client/src/components/NotebookButton.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/NotebookButton.tsx -------------------------------------------------------------------------------- /ui-client/src/components/Page.test.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/Page.test.tsx -------------------------------------------------------------------------------- /ui-client/src/components/Page.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/Page.tsx -------------------------------------------------------------------------------- /ui-client/src/components/Paginator.test.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/Paginator.test.tsx -------------------------------------------------------------------------------- /ui-client/src/components/Paginator.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/Paginator.tsx -------------------------------------------------------------------------------- /ui-client/src/components/PanelGrid.test.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/PanelGrid.test.tsx -------------------------------------------------------------------------------- /ui-client/src/components/PanelGrid.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/PanelGrid.tsx -------------------------------------------------------------------------------- /ui-client/src/components/SliceSelector.test.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/SliceSelector.test.tsx -------------------------------------------------------------------------------- /ui-client/src/components/SliceSelector.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/SliceSelector.tsx -------------------------------------------------------------------------------- /ui-client/src/components/SnapshotSaver.test.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/SnapshotSaver.test.tsx -------------------------------------------------------------------------------- /ui-client/src/components/SnapshotSaver.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/SnapshotSaver.tsx -------------------------------------------------------------------------------- /ui-client/src/components/ToggleSwitch.test.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/ToggleSwitch.test.tsx -------------------------------------------------------------------------------- /ui-client/src/components/ToggleSwitch.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/ToggleSwitch.tsx -------------------------------------------------------------------------------- /ui-client/src/components/WarningAlert.test.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/WarningAlert.test.tsx -------------------------------------------------------------------------------- /ui-client/src/components/WarningAlert.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/WarningAlert.tsx -------------------------------------------------------------------------------- /ui-client/src/components/graph-stylesheet.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/components/graph-stylesheet.ts -------------------------------------------------------------------------------- /ui-client/src/hooks/api/useAnalysisTasks.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/hooks/api/useAnalysisTasks.ts -------------------------------------------------------------------------------- /ui-client/src/hooks/api/useBuild.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/hooks/api/useBuild.ts -------------------------------------------------------------------------------- /ui-client/src/hooks/api/useBuilds.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/hooks/api/useBuilds.ts -------------------------------------------------------------------------------- /ui-client/src/hooks/api/useCompilations.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/hooks/api/useCompilations.ts -------------------------------------------------------------------------------- /ui-client/src/hooks/api/useFunctionNodes.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/hooks/api/useFunctionNodes.ts -------------------------------------------------------------------------------- /ui-client/src/hooks/api/useMachineFunctionNodes.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/hooks/api/useMachineFunctionNodes.ts -------------------------------------------------------------------------------- /ui-client/src/hooks/api/usePois.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/hooks/api/usePois.ts -------------------------------------------------------------------------------- /ui-client/src/hooks/api/useSnapshots.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/hooks/api/useSnapshots.ts -------------------------------------------------------------------------------- /ui-client/src/hooks/useFlowFinder/graphTools.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/hooks/useFlowFinder/graphTools.ts -------------------------------------------------------------------------------- /ui-client/src/hooks/useFlowFinder/index.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/hooks/useFlowFinder/index.test.ts -------------------------------------------------------------------------------- /ui-client/src/hooks/useFlowFinder/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/hooks/useFlowFinder/index.ts -------------------------------------------------------------------------------- /ui-client/src/hooks/useFlowFinder/keyTools.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/hooks/useFlowFinder/keyTools.ts -------------------------------------------------------------------------------- /ui-client/src/hooks/useFlowFinder/useContextMenu.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/hooks/useFlowFinder/useContextMenu.ts -------------------------------------------------------------------------------- /ui-client/src/hooks/useFlowFinder/useDimensions.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/hooks/useFlowFinder/useDimensions.ts -------------------------------------------------------------------------------- /ui-client/src/hooks/useFlowFinder/useGraphState.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/hooks/useFlowFinder/useGraphState.ts -------------------------------------------------------------------------------- /ui-client/src/hooks/useManticore.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/hooks/useManticore.ts -------------------------------------------------------------------------------- /ui-client/src/hooks/usePage.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/hooks/usePage.test.ts -------------------------------------------------------------------------------- /ui-client/src/hooks/usePage.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/hooks/usePage.ts -------------------------------------------------------------------------------- /ui-client/src/index.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/index.tsx -------------------------------------------------------------------------------- /ui-client/src/lib/api/analysis-tasks.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/lib/api/analysis-tasks.ts -------------------------------------------------------------------------------- /ui-client/src/lib/api/axios-instance.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/lib/api/axios-instance.ts -------------------------------------------------------------------------------- /ui-client/src/lib/api/builds.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/lib/api/builds.test.ts -------------------------------------------------------------------------------- /ui-client/src/lib/api/builds.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/lib/api/builds.ts -------------------------------------------------------------------------------- /ui-client/src/lib/api/compilations.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/lib/api/compilations.ts -------------------------------------------------------------------------------- /ui-client/src/lib/api/graphs.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/lib/api/graphs.test.ts -------------------------------------------------------------------------------- /ui-client/src/lib/api/graphs.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/lib/api/graphs.ts -------------------------------------------------------------------------------- /ui-client/src/lib/api/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/lib/api/index.ts -------------------------------------------------------------------------------- /ui-client/src/lib/api/manticore.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/lib/api/manticore.ts -------------------------------------------------------------------------------- /ui-client/src/lib/api/notebooks.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/lib/api/notebooks.ts -------------------------------------------------------------------------------- /ui-client/src/lib/api/pois.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/lib/api/pois.ts -------------------------------------------------------------------------------- /ui-client/src/lib/api/snapshots.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/lib/api/snapshots.test.ts -------------------------------------------------------------------------------- /ui-client/src/lib/api/snapshots.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/lib/api/snapshots.ts -------------------------------------------------------------------------------- /ui-client/src/lib/api/utils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/lib/api/utils.ts -------------------------------------------------------------------------------- /ui-client/src/pages/App.test.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/pages/App.test.tsx -------------------------------------------------------------------------------- /ui-client/src/pages/App.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/pages/App.tsx -------------------------------------------------------------------------------- /ui-client/src/pages/Builds.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/pages/Builds.tsx -------------------------------------------------------------------------------- /ui-client/src/pages/Compilations.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/pages/Compilations.tsx -------------------------------------------------------------------------------- /ui-client/src/pages/FlowFinder/GraphCardCollection.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/pages/FlowFinder/GraphCardCollection.tsx -------------------------------------------------------------------------------- /ui-client/src/pages/FlowFinder/index.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/pages/FlowFinder/index.tsx -------------------------------------------------------------------------------- /ui-client/src/pages/Manticore/AdvancedMenu.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/pages/Manticore/AdvancedMenu.tsx -------------------------------------------------------------------------------- /ui-client/src/pages/Manticore/AnalysisResults/Cases.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/pages/Manticore/AnalysisResults/Cases.tsx -------------------------------------------------------------------------------- /ui-client/src/pages/Manticore/AnalysisResults/Choices.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/pages/Manticore/AnalysisResults/Choices.tsx -------------------------------------------------------------------------------- /ui-client/src/pages/Manticore/AnalysisResults/index.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/pages/Manticore/AnalysisResults/index.tsx -------------------------------------------------------------------------------- /ui-client/src/pages/Manticore/ConstraintEditor.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/pages/Manticore/ConstraintEditor.tsx -------------------------------------------------------------------------------- /ui-client/src/pages/Manticore/ConstraintsManager.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/pages/Manticore/ConstraintsManager.tsx -------------------------------------------------------------------------------- /ui-client/src/pages/Manticore/PolicySelector.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/pages/Manticore/PolicySelector.tsx -------------------------------------------------------------------------------- /ui-client/src/pages/Manticore/Warnings.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/pages/Manticore/Warnings.tsx -------------------------------------------------------------------------------- /ui-client/src/pages/Manticore/index.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/pages/Manticore/index.tsx -------------------------------------------------------------------------------- /ui-client/src/pages/PointsOfInterest.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/pages/PointsOfInterest.tsx -------------------------------------------------------------------------------- /ui-client/src/pages/Snapshots.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/pages/Snapshots.tsx -------------------------------------------------------------------------------- /ui-client/src/react-app-env.d.ts: -------------------------------------------------------------------------------- 1 | /// 2 | -------------------------------------------------------------------------------- /ui-client/src/reportWebVitals.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/reportWebVitals.ts -------------------------------------------------------------------------------- /ui-client/src/setupTests.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/setupTests.ts -------------------------------------------------------------------------------- /ui-client/src/styles/App.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/styles/App.scss -------------------------------------------------------------------------------- /ui-client/src/styles/Background.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/styles/Background.scss -------------------------------------------------------------------------------- /ui-client/src/styles/Builds.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/styles/Builds.scss -------------------------------------------------------------------------------- /ui-client/src/styles/Compilations.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/styles/Compilations.scss -------------------------------------------------------------------------------- /ui-client/src/styles/Filters.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/styles/Filters.scss -------------------------------------------------------------------------------- /ui-client/src/styles/FlowFinder.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/styles/FlowFinder.scss -------------------------------------------------------------------------------- /ui-client/src/styles/Graph.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/styles/Graph.scss -------------------------------------------------------------------------------- /ui-client/src/styles/GraphCard.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/styles/GraphCard.scss -------------------------------------------------------------------------------- /ui-client/src/styles/Header.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/styles/Header.scss -------------------------------------------------------------------------------- /ui-client/src/styles/Insight.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/styles/Insight.scss -------------------------------------------------------------------------------- /ui-client/src/styles/LoadingIndicator.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/styles/LoadingIndicator.scss -------------------------------------------------------------------------------- /ui-client/src/styles/LogViewer.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/styles/LogViewer.scss -------------------------------------------------------------------------------- /ui-client/src/styles/Manticore.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/styles/Manticore.scss -------------------------------------------------------------------------------- /ui-client/src/styles/NodeSelector.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/styles/NodeSelector.scss -------------------------------------------------------------------------------- /ui-client/src/styles/NodeTooltip.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/styles/NodeTooltip.scss -------------------------------------------------------------------------------- /ui-client/src/styles/POIs.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/styles/POIs.scss -------------------------------------------------------------------------------- /ui-client/src/styles/Page.scss: -------------------------------------------------------------------------------- 1 | .Page { 2 | padding: 0; 3 | height: 100vh; 4 | } 5 | -------------------------------------------------------------------------------- /ui-client/src/styles/Paginator.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/styles/Paginator.scss -------------------------------------------------------------------------------- /ui-client/src/styles/PanelGrid.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/styles/PanelGrid.scss -------------------------------------------------------------------------------- /ui-client/src/styles/SliceSelector.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/styles/SliceSelector.scss -------------------------------------------------------------------------------- /ui-client/src/styles/Snapshots.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/styles/Snapshots.scss -------------------------------------------------------------------------------- /ui-client/src/styles/ToggleSwitch.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/styles/ToggleSwitch.scss -------------------------------------------------------------------------------- /ui-client/src/styles/index.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/styles/index.scss -------------------------------------------------------------------------------- /ui-client/src/testUtils.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/testUtils.tsx -------------------------------------------------------------------------------- /ui-client/src/types.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/types.d.ts -------------------------------------------------------------------------------- /ui-client/src/types/react-table-config.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/src/types/react-table-config.d.ts -------------------------------------------------------------------------------- /ui-client/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/tsconfig.json -------------------------------------------------------------------------------- /ui-client/yarn.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/MATE/HEAD/ui-client/yarn.lock --------------------------------------------------------------------------------