├── .github └── workflows │ └── docker-image.yml ├── .gitignore ├── Dockerfile ├── README.md ├── __init__.py ├── assets └── img │ ├── filipe_marques.png │ ├── jose_fragoso_santos.png │ ├── mafalda_ferreira.png │ └── nuno_santos.jpeg ├── config.json ├── constants.py ├── detection ├── __init__.py ├── neo4j_import │ ├── __init__.py │ ├── neo4j_management.py │ └── utils │ │ ├── __init__.py │ │ ├── import.py │ │ ├── neo4j_constants.py │ │ └── timers.py ├── queries │ ├── __init__.py │ ├── bottom_up_greedy │ │ └── proto_pollution.py │ ├── injection.py │ ├── interaction_protocol │ │ ├── __init__.py │ │ ├── interaction_protocol.py │ │ └── parameter_types.py │ ├── intra_queries │ │ └── proto_pollution.py │ ├── load.py │ ├── my_utils │ │ ├── __init__.py │ │ └── utils.py │ ├── proto_pollution.py │ ├── query.py │ ├── taint_summary.md │ └── tests │ │ ├── run_tests.py │ │ └── test_cases │ │ ├── example-1 │ │ ├── expected_output.json │ │ └── test.js │ │ ├── example-10 │ │ ├── expected_output.json │ │ └── test.js │ │ ├── example-11 │ │ ├── expected_output.json │ │ └── test.js │ │ ├── example-12 │ │ ├── expected_output.json │ │ └── test.js │ │ ├── example-13 │ │ └── test.js │ │ ├── example-14 │ │ └── test.js │ │ ├── example-15 │ │ └── test.js │ │ ├── example-16 │ │ └── test.js │ │ ├── example-17 │ │ └── test.js │ │ ├── example-18 │ │ └── test.js │ │ ├── example-19 │ │ └── test.js │ │ ├── example-2 │ │ ├── expected_output.json │ │ └── test.js │ │ ├── example-3 │ │ ├── expected_output.json │ │ └── test.js │ │ ├── example-4 │ │ ├── expected_output.json │ │ └── test.js │ │ ├── example-5 │ │ ├── expected_output.json │ │ └── test.js │ │ ├── example-6 │ │ ├── expected_output.json │ │ └── test.js │ │ ├── example-7 │ │ ├── expected_output.json │ │ └── test.js │ │ ├── example-8 │ │ ├── expected_output.json │ │ └── test.js │ │ └── example-9 │ │ ├── expected_output.json │ │ └── test.js ├── requirements.txt ├── run.py └── utils.py ├── graphjs ├── graphjs_docker.sh ├── parser ├── .eslintignore ├── .eslintrc.json ├── jest.config.js ├── package-lock.json ├── package.json ├── src │ ├── output │ │ ├── csv_output.ts │ │ ├── dot_output.ts │ │ ├── output_strategy.ts │ │ └── output_writer.ts │ ├── parser.ts │ ├── summaries.json │ ├── traverse │ │ ├── ast_builder.ts │ │ ├── cfg_builder.ts │ │ ├── cg_builder.ts │ │ ├── dependency │ │ │ ├── dep_builder.ts │ │ │ ├── dep_factory.ts │ │ │ ├── structures │ │ │ │ └── dependency_trackers.ts │ │ │ └── utils │ │ │ │ ├── nodes.ts │ │ │ │ └── taint_nodes.ts │ │ ├── graph │ │ │ ├── edge.test.ts │ │ │ ├── edge.ts │ │ │ ├── graph.test.ts │ │ │ ├── graph.ts │ │ │ ├── node.test.ts │ │ │ └── node.ts │ │ ├── normalization │ │ │ ├── normalizer.ts │ │ │ └── normalizer_utils.ts │ │ └── test │ │ │ ├── ast_builder.test.ts │ │ │ └── normalizer.test.ts │ └── utils │ │ ├── config_reader.ts │ │ ├── multifile.ts │ │ ├── summary_reader.ts │ │ ├── utils.test.ts │ │ └── utils.ts ├── test-inputs │ └── normalization │ │ ├── array-expressions │ │ ├── input-code-1.js │ │ ├── input-code-2.js │ │ ├── input-code-3.js │ │ ├── input-expected-code-1.js │ │ ├── input-expected-code-2.js │ │ └── input-expected-code-3.js │ │ ├── arrow-function-expressions │ │ ├── input-code-1.js │ │ ├── input-code-2.js │ │ ├── input-code-3.js │ │ ├── input-code-4.js │ │ ├── input-code-5.js │ │ ├── input-expected-code-1.js │ │ ├── input-expected-code-2.js │ │ ├── input-expected-code-3.js │ │ ├── input-expected-code-4.js │ │ └── input-expected-code-5.js │ │ ├── assignment-expressions │ │ ├── input-code-1.js │ │ └── input-expected-code-1.js │ │ ├── await-expressions │ │ ├── input-code-1.js │ │ ├── input-code-2.js │ │ ├── input-code-3.js │ │ ├── input-expected-code-1.js │ │ ├── input-expected-code-2.js │ │ └── input-expected-code-3.js │ │ ├── binary-expressions │ │ ├── input-code-1.js │ │ ├── input-code-2.js │ │ ├── input-code-3.js │ │ ├── input-code-4.js │ │ ├── input-expected-code-1.js │ │ ├── input-expected-code-2.js │ │ ├── input-expected-code-3.js │ │ └── input-expected-code-4.js │ │ ├── call-expressions │ │ ├── input-code-1.js │ │ ├── input-code-2.js │ │ ├── input-code-3.js │ │ ├── input-code-4.js │ │ ├── input-expected-code-1.js │ │ ├── input-expected-code-2.js │ │ ├── input-expected-code-3.js │ │ └── input-expected-code-4.js │ │ ├── class-declarations │ │ ├── input-code-1.js │ │ ├── input-code-2.js │ │ ├── input-code-3.js │ │ ├── input-expected-code-1.js │ │ ├── input-expected-code-2.js │ │ └── input-expected-code-3.js │ │ ├── class-expressions │ │ ├── input-code-1.js │ │ ├── input-code-2.js │ │ ├── input-code-3.js │ │ ├── input-expected-code-1.js │ │ ├── input-expected-code-2.js │ │ └── input-expected-code-3.js │ │ ├── conditionals │ │ ├── input-code-1.js │ │ ├── input-code-2.js │ │ ├── input-code-3.js │ │ ├── input-code-4.js │ │ ├── input-expected-code-1.js │ │ ├── input-expected-code-2.js │ │ ├── input-expected-code-3.js │ │ └── input-expected-code-4.js │ │ ├── for-statements │ │ ├── input-code-1.js │ │ ├── input-code-2.js │ │ ├── input-code-3.js │ │ ├── input-code-4.js │ │ ├── input-code-5.js │ │ ├── input-expected-code-1.js │ │ ├── input-expected-code-2.js │ │ ├── input-expected-code-3.js │ │ └── input-expected-code-4.js │ │ ├── function-declarations │ │ ├── input-code-1.js │ │ ├── input-code-2.js │ │ ├── input-code-3.js │ │ ├── input-code-4.js │ │ ├── input-code-5.js │ │ ├── input-expected-code-1.js │ │ ├── input-expected-code-2.js │ │ ├── input-expected-code-3.js │ │ ├── input-expected-code-4.js │ │ └── input-expected-code-5.js │ │ ├── function-expressions │ │ ├── input-code-1.js │ │ ├── input-code-2.js │ │ ├── input-expected-code-1.js │ │ └── input-expected-code-2.js │ │ ├── if-statements │ │ ├── input-code-1.js │ │ ├── input-code-2.js │ │ ├── input-code-3.js │ │ ├── input-code-4.js │ │ ├── input-expected-code-1.js │ │ ├── input-expected-code-2.js │ │ ├── input-expected-code-3.js │ │ └── input-expected-code-4.js │ │ ├── js-wala │ │ ├── differences.md │ │ ├── fail │ │ │ ├── input-code-39.js │ │ │ ├── input-code-40.js │ │ │ ├── input-code-41.js │ │ │ ├── input-code-42.js │ │ │ ├── input-code-43.js │ │ │ ├── input-code-44.js │ │ │ ├── input-code-45.js │ │ │ ├── input-expected-code-39.js │ │ │ ├── input-expected-code-40.js │ │ │ ├── input-expected-code-41.js │ │ │ ├── input-expected-code-42.js │ │ │ ├── input-expected-code-43.js │ │ │ ├── input-expected-code-44.js │ │ │ └── input-expected-code-45.js │ │ ├── input-code-32.js │ │ ├── input-code-33.js │ │ ├── input-code-34.js │ │ ├── input-code-35.js │ │ ├── input-code-39.js │ │ ├── input-code-40.js │ │ ├── input-code-41.js │ │ ├── input-code-42.js │ │ ├── input-code-43.js │ │ ├── input-code-44.js │ │ ├── input-code-46.js │ │ ├── input-code-47.js │ │ ├── input-code-48.js │ │ ├── input-code-49.js │ │ ├── input-code-50.js │ │ ├── input-code-51.js │ │ ├── input-code-52.js │ │ ├── input-code-53.js │ │ ├── input-code-54.js │ │ ├── input-code-55.js │ │ ├── input-code-56.js │ │ ├── input-code-57.js │ │ ├── input-code-58.js │ │ ├── input-code-59.js │ │ ├── input-code-60.js │ │ ├── input-expected-code-32.js │ │ ├── input-expected-code-33.js │ │ ├── input-expected-code-34.js │ │ ├── input-expected-code-35.js │ │ ├── input-expected-code-39.js │ │ ├── input-expected-code-40.js │ │ ├── input-expected-code-41.js │ │ ├── input-expected-code-42.js │ │ ├── input-expected-code-43.js │ │ ├── input-expected-code-44.js │ │ ├── input-expected-code-46.js │ │ ├── input-expected-code-47.js │ │ ├── input-expected-code-48.js │ │ ├── input-expected-code-49.js │ │ ├── input-expected-code-50.js │ │ ├── input-expected-code-51.js │ │ ├── input-expected-code-52.js │ │ ├── input-expected-code-53.js │ │ ├── input-expected-code-54.js │ │ ├── input-expected-code-55.js │ │ ├── input-expected-code-56.js │ │ ├── normalized.test57.js │ │ ├── normalized.test58.js │ │ ├── normalized.test59.js │ │ └── normalized.test60.js │ │ ├── labeled-statements │ │ ├── input-code-1.js │ │ ├── input-code-2.js │ │ ├── input-code-3.js │ │ ├── input-expected-code-1.js │ │ ├── input-expected-code-2.js │ │ └── input-expected-code-3.js │ │ ├── literals │ │ ├── input-code-1.js │ │ ├── input-code-2.js │ │ ├── input-code-3.js │ │ ├── input-code-4.js │ │ ├── input-expected-code-1.js │ │ ├── input-expected-code-2.js │ │ ├── input-expected-code-3.js │ │ └── input-expected-code-4.js │ │ ├── logical-expressions │ │ ├── input-code-1.js │ │ ├── input-code-2.js │ │ ├── input-code-3.js │ │ ├── input-code-4.js │ │ ├── input-code-5.js │ │ ├── input-expected-code-1.js │ │ ├── input-expected-code-2.js │ │ ├── input-expected-code-3.js │ │ ├── input-expected-code-4.js │ │ └── input-expected-code-5.js │ │ ├── member-expressions │ │ ├── input-code-1.js │ │ ├── input-code-2.js │ │ ├── input-expected-code-1.js │ │ └── input-expected-code-2.js │ │ ├── new-expressions │ │ ├── input-code-1.js │ │ └── input-expected-code-1.js │ │ ├── object-expressions │ │ ├── input-code-1.js │ │ ├── input-code-2.js │ │ ├── input-code-3.js │ │ ├── input-code-4.js │ │ ├── input-code-5.js │ │ ├── input-code-6.js │ │ ├── input-code-7.js │ │ ├── input-code-8.js │ │ ├── input-expected-code-1.js │ │ ├── input-expected-code-2.js │ │ ├── input-expected-code-3.js │ │ ├── input-expected-code-4.js │ │ ├── input-expected-code-5.js │ │ ├── input-expected-code-6.js │ │ ├── input-expected-code-7.js │ │ └── input-expected-code-8.js │ │ ├── rest-elements │ │ ├── input-code-1.js │ │ ├── input-code-2.js │ │ ├── input-code-3.js │ │ ├── input-code-4.js │ │ ├── input-code-5.js │ │ ├── input-code-6.js │ │ ├── input-code-7.js │ │ ├── input-expected-code-1.js │ │ ├── input-expected-code-2.js │ │ ├── input-expected-code-3.js │ │ ├── input-expected-code-4.js │ │ ├── input-expected-code-5.js │ │ ├── input-expected-code-6.js │ │ └── input-expected-code-7.js │ │ ├── sequence-expressions │ │ ├── input-code-1.js │ │ ├── input-code-2.js │ │ ├── input-code-3.js │ │ ├── input-expected-code-1.js │ │ ├── input-expected-code-2.js │ │ └── input-expected-code-3.js │ │ ├── spread-elements │ │ ├── input-code-1.js │ │ └── input-expected-code-1.js │ │ ├── switch-statements │ │ ├── input-code-1.js │ │ ├── input-code-10.js │ │ ├── input-code-2.js │ │ ├── input-code-3.js │ │ ├── input-code-4.js │ │ ├── input-code-5.js │ │ ├── input-code-6.js │ │ ├── input-code-7.js │ │ ├── input-code-8.js │ │ ├── input-code-9.js │ │ ├── input-expected-code-1.js │ │ ├── input-expected-code-10.js │ │ ├── input-expected-code-2.js │ │ ├── input-expected-code-3.js │ │ ├── input-expected-code-4.js │ │ ├── input-expected-code-5.js │ │ ├── input-expected-code-6.js │ │ ├── input-expected-code-7.js │ │ ├── input-expected-code-8.js │ │ └── input-expected-code-9.js │ │ ├── template-expressions │ │ ├── input-code-1.js │ │ ├── input-code-2.js │ │ ├── input-code-3.js │ │ ├── input-code-4.js │ │ ├── input-code-5.js │ │ ├── input-expected-code-1.js │ │ ├── input-expected-code-2.js │ │ ├── input-expected-code-3.js │ │ ├── input-expected-code-4.js │ │ └── input-expected-code-5.js │ │ ├── try-statements │ │ ├── input-code-1.js │ │ ├── input-code-2.js │ │ ├── input-code-3.js │ │ ├── input-code-4.js │ │ ├── input-expected-code-1.js │ │ ├── input-expected-code-2.js │ │ ├── input-expected-code-3.js │ │ └── input-expected-code-4.js │ │ ├── unary-expressions │ │ ├── input-code-1.js │ │ ├── input-code-2.js │ │ ├── input-code-3.js │ │ ├── input-expected-code-1.js │ │ └── input-expected-code-2.js │ │ ├── variable-declarations │ │ ├── input-code-1.js │ │ ├── input-code-2.js │ │ ├── input-code-3.js │ │ ├── input-code-4.js │ │ ├── input-expected-code-1.js │ │ ├── input-expected-code-2.js │ │ ├── input-expected-code-3.js │ │ └── input-expected-code-4.js │ │ ├── while-statements │ │ ├── input-code-1.js │ │ ├── input-code-2.js │ │ ├── input-code-3.js │ │ ├── input-code-4.js │ │ ├── input-code-5.js │ │ ├── input-code-6.js │ │ ├── input-expected-code-1.js │ │ ├── input-expected-code-2.js │ │ ├── input-expected-code-3-old.js │ │ ├── input-expected-code-3.js │ │ ├── input-expected-code-4-old.js │ │ ├── input-expected-code-4.js │ │ ├── input-expected-code-5.js │ │ └── input-expected-code-6.js │ │ └── yield-expressions │ │ ├── input-code-1.js │ │ ├── input-code-2.js │ │ ├── input-expected-code-1.js │ │ └── input-expected-code-2.js └── tsconfig.json ├── requirements.txt ├── setup.sh ├── shell.nix └── tests ├── datasets ├── graphjs_dataset.py └── run_graphjs_dataset.sh ├── expected ├── multifile_exported_object_taint_summary.json ├── multifile_injection_callee_1_taint_summary.json ├── multifile_injection_callee_2_taint_summary.json ├── multifile_injection_callee_3_taint_summary.json ├── multifile_injection_callee_4_taint_summary.json ├── multifile_injection_caller_1_taint_summary.json ├── multifile_injection_caller_2_taint_summary.json ├── multifile_injection_caller_3_taint_summary.json ├── multifile_injection_caller_4_taint_summary.json ├── multifile_injection_caller_5_taint_summary.json ├── multifile_injection_caller_6_taint_summary.json ├── multifile_require_1_taint_summary.json ├── multifile_require_2_taint_summary.json ├── multifile_secure_call_callee_taint_summary.json ├── multifile_secure_return_taint_summary.json ├── single_file_injection_callee_0_taint_summary.json ├── single_file_injection_callee_1_taint_summary.json ├── single_file_injection_callee_2_taint_summary.json ├── single_file_injection_callee_3_taint_summary.json ├── single_file_injection_callee_4_taint_summary.json ├── single_file_injection_callee_5_taint_summary.json ├── single_file_injection_callee_6_taint_summary.json ├── single_file_injection_caller_1_taint_summary.json ├── single_file_injection_caller_2_taint_summary.json ├── single_file_injection_caller_3_taint_summary.json ├── single_file_injection_caller_4_taint_summary.json ├── single_file_injection_caller_5_taint_summary.json ├── single_file_injection_caller_6_taint_summary.json ├── single_file_injection_caller_7_taint_summary.json ├── single_file_injection_caller_8_taint_summary.json ├── single_file_inner_functions_taint_summary.json ├── single_file_object_property_call_1_taint_summary.json ├── single_file_object_property_call_2_taint_summary.json ├── single_file_prototype_pollution_1_taint_summary.json ├── single_file_prototype_pollution_2_taint_summary.json ├── single_file_prototype_pollution_3_taint_summary.json ├── single_file_prototype_pollution_4_taint_summary.json ├── single_file_prototype_pollution_5_taint_summary.json ├── single_file_prototype_pollution_6_taint_summary.json ├── single_file_prototype_pollution_7_taint_summary.json ├── single_file_prototype_pollution_8_taint_summary.json ├── single_file_rec_taint_summary.json ├── single_file_secure_call_callee_taint_summary.json ├── single_file_secure_return_caller_taint_summary.json ├── single_file_taint_args-1_taint_summary.json └── single_file_taint_args-2_taint_summary.json ├── input ├── multifile │ ├── exported_object │ │ ├── g.js │ │ └── index.js │ ├── injection_callee_1 │ │ ├── g.js │ │ └── index.js │ ├── injection_callee_2 │ │ ├── g.js │ │ ├── h.js │ │ └── index.js │ ├── injection_callee_3 │ │ ├── g.js │ │ ├── h.js │ │ └── index.js │ ├── injection_callee_4 │ │ ├── g.js │ │ └── index.js │ ├── injection_caller_1 │ │ ├── g.js │ │ └── index.js │ ├── injection_caller_2 │ │ ├── g.js │ │ ├── h.js │ │ └── index.js │ ├── injection_caller_3 │ │ ├── g.js │ │ ├── h.js │ │ └── index.js │ ├── injection_caller_4 │ │ ├── g.js │ │ ├── h.js │ │ └── index.js │ ├── injection_caller_5 │ │ ├── g.js │ │ ├── h.js │ │ └── index.js │ ├── injection_caller_6 │ │ ├── g.js │ │ ├── h.js │ │ └── index.js │ ├── require_1 │ │ ├── g.js │ │ └── index.js │ ├── require_2 │ │ ├── e.js │ │ ├── f.js │ │ ├── h.js │ │ └── index.js │ ├── secure_call_callee │ │ ├── g.js │ │ └── index.js │ ├── secure_return │ │ ├── g.js │ │ └── index.js │ └── test_filipe │ │ ├── eval.js │ │ └── index.js └── single_file │ ├── injection_callee_0.js │ ├── injection_callee_1.js │ ├── injection_callee_2.js │ ├── injection_callee_3.js │ ├── injection_callee_4.js │ ├── injection_callee_5.js │ ├── injection_callee_6.js │ ├── injection_caller_1.js │ ├── injection_caller_2.js │ ├── injection_caller_3.js │ ├── injection_caller_4.js │ ├── injection_caller_5.js │ ├── injection_caller_6.js │ ├── injection_caller_7.js │ ├── injection_caller_8.js │ ├── injection_sanitizer.js │ ├── inner_functions.js │ ├── object_property_call_1.js │ ├── object_property_call_2.js │ ├── prototype_pollution_1.js │ ├── prototype_pollution_2.js │ ├── prototype_pollution_3.js │ ├── prototype_pollution_4.js │ ├── prototype_pollution_5.js │ ├── prototype_pollution_6.js │ ├── prototype_pollution_7.js │ ├── prototype_pollution_8.js │ ├── rec.js │ ├── secure_call_callee.js │ ├── secure_return_caller.js │ ├── taint_args-1.js │ └── taint_args-2.js └── runTests.sh /.github/workflows/docker-image.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/.github/workflows/docker-image.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/.gitignore -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/Dockerfile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/README.md -------------------------------------------------------------------------------- /__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /assets/img/filipe_marques.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/assets/img/filipe_marques.png -------------------------------------------------------------------------------- /assets/img/jose_fragoso_santos.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/assets/img/jose_fragoso_santos.png -------------------------------------------------------------------------------- /assets/img/mafalda_ferreira.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/assets/img/mafalda_ferreira.png -------------------------------------------------------------------------------- /assets/img/nuno_santos.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/assets/img/nuno_santos.jpeg -------------------------------------------------------------------------------- /config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/config.json -------------------------------------------------------------------------------- /constants.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/constants.py -------------------------------------------------------------------------------- /detection/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /detection/neo4j_import/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /detection/neo4j_import/neo4j_management.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/neo4j_import/neo4j_management.py -------------------------------------------------------------------------------- /detection/neo4j_import/utils/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /detection/neo4j_import/utils/import.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/neo4j_import/utils/import.py -------------------------------------------------------------------------------- /detection/neo4j_import/utils/neo4j_constants.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/neo4j_import/utils/neo4j_constants.py -------------------------------------------------------------------------------- /detection/neo4j_import/utils/timers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/neo4j_import/utils/timers.py -------------------------------------------------------------------------------- /detection/queries/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /detection/queries/bottom_up_greedy/proto_pollution.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/bottom_up_greedy/proto_pollution.py -------------------------------------------------------------------------------- /detection/queries/injection.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/injection.py -------------------------------------------------------------------------------- /detection/queries/interaction_protocol/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /detection/queries/interaction_protocol/interaction_protocol.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/interaction_protocol/interaction_protocol.py -------------------------------------------------------------------------------- /detection/queries/interaction_protocol/parameter_types.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/interaction_protocol/parameter_types.py -------------------------------------------------------------------------------- /detection/queries/intra_queries/proto_pollution.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/intra_queries/proto_pollution.py -------------------------------------------------------------------------------- /detection/queries/load.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/load.py -------------------------------------------------------------------------------- /detection/queries/my_utils/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /detection/queries/my_utils/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/my_utils/utils.py -------------------------------------------------------------------------------- /detection/queries/proto_pollution.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/proto_pollution.py -------------------------------------------------------------------------------- /detection/queries/query.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/query.py -------------------------------------------------------------------------------- /detection/queries/taint_summary.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/taint_summary.md -------------------------------------------------------------------------------- /detection/queries/tests/run_tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/tests/run_tests.py -------------------------------------------------------------------------------- /detection/queries/tests/test_cases/example-1/expected_output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/tests/test_cases/example-1/expected_output.json -------------------------------------------------------------------------------- /detection/queries/tests/test_cases/example-1/test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/tests/test_cases/example-1/test.js -------------------------------------------------------------------------------- /detection/queries/tests/test_cases/example-10/expected_output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/tests/test_cases/example-10/expected_output.json -------------------------------------------------------------------------------- /detection/queries/tests/test_cases/example-10/test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/tests/test_cases/example-10/test.js -------------------------------------------------------------------------------- /detection/queries/tests/test_cases/example-11/expected_output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/tests/test_cases/example-11/expected_output.json -------------------------------------------------------------------------------- /detection/queries/tests/test_cases/example-11/test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/tests/test_cases/example-11/test.js -------------------------------------------------------------------------------- /detection/queries/tests/test_cases/example-12/expected_output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/tests/test_cases/example-12/expected_output.json -------------------------------------------------------------------------------- /detection/queries/tests/test_cases/example-12/test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/tests/test_cases/example-12/test.js -------------------------------------------------------------------------------- /detection/queries/tests/test_cases/example-13/test.js: -------------------------------------------------------------------------------- 1 | eval(x) -------------------------------------------------------------------------------- /detection/queries/tests/test_cases/example-14/test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/tests/test_cases/example-14/test.js -------------------------------------------------------------------------------- /detection/queries/tests/test_cases/example-15/test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/tests/test_cases/example-15/test.js -------------------------------------------------------------------------------- /detection/queries/tests/test_cases/example-16/test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/tests/test_cases/example-16/test.js -------------------------------------------------------------------------------- /detection/queries/tests/test_cases/example-17/test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/tests/test_cases/example-17/test.js -------------------------------------------------------------------------------- /detection/queries/tests/test_cases/example-18/test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/tests/test_cases/example-18/test.js -------------------------------------------------------------------------------- /detection/queries/tests/test_cases/example-19/test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/tests/test_cases/example-19/test.js -------------------------------------------------------------------------------- /detection/queries/tests/test_cases/example-2/expected_output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/tests/test_cases/example-2/expected_output.json -------------------------------------------------------------------------------- /detection/queries/tests/test_cases/example-2/test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/tests/test_cases/example-2/test.js -------------------------------------------------------------------------------- /detection/queries/tests/test_cases/example-3/expected_output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/tests/test_cases/example-3/expected_output.json -------------------------------------------------------------------------------- /detection/queries/tests/test_cases/example-3/test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/tests/test_cases/example-3/test.js -------------------------------------------------------------------------------- /detection/queries/tests/test_cases/example-4/expected_output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/tests/test_cases/example-4/expected_output.json -------------------------------------------------------------------------------- /detection/queries/tests/test_cases/example-4/test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/tests/test_cases/example-4/test.js -------------------------------------------------------------------------------- /detection/queries/tests/test_cases/example-5/expected_output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/tests/test_cases/example-5/expected_output.json -------------------------------------------------------------------------------- /detection/queries/tests/test_cases/example-5/test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/tests/test_cases/example-5/test.js -------------------------------------------------------------------------------- /detection/queries/tests/test_cases/example-6/expected_output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/tests/test_cases/example-6/expected_output.json -------------------------------------------------------------------------------- /detection/queries/tests/test_cases/example-6/test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/tests/test_cases/example-6/test.js -------------------------------------------------------------------------------- /detection/queries/tests/test_cases/example-7/expected_output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/tests/test_cases/example-7/expected_output.json -------------------------------------------------------------------------------- /detection/queries/tests/test_cases/example-7/test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/tests/test_cases/example-7/test.js -------------------------------------------------------------------------------- /detection/queries/tests/test_cases/example-8/expected_output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/tests/test_cases/example-8/expected_output.json -------------------------------------------------------------------------------- /detection/queries/tests/test_cases/example-8/test.js: -------------------------------------------------------------------------------- 1 | function f(x) { 2 | eval(x) 3 | } 4 | 5 | module.exports = { prop: f }; -------------------------------------------------------------------------------- /detection/queries/tests/test_cases/example-9/expected_output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/tests/test_cases/example-9/expected_output.json -------------------------------------------------------------------------------- /detection/queries/tests/test_cases/example-9/test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/queries/tests/test_cases/example-9/test.js -------------------------------------------------------------------------------- /detection/requirements.txt: -------------------------------------------------------------------------------- 1 | graphviz==0.17 2 | neo4j==4.3.6 3 | pytz==2021.3 4 | docker~=7.0.0 -------------------------------------------------------------------------------- /detection/run.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/run.py -------------------------------------------------------------------------------- /detection/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/detection/utils.py -------------------------------------------------------------------------------- /graphjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/graphjs -------------------------------------------------------------------------------- /graphjs_docker.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/graphjs_docker.sh -------------------------------------------------------------------------------- /parser/.eslintignore: -------------------------------------------------------------------------------- 1 | built/* -------------------------------------------------------------------------------- /parser/.eslintrc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/.eslintrc.json -------------------------------------------------------------------------------- /parser/jest.config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/jest.config.js -------------------------------------------------------------------------------- /parser/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/package-lock.json -------------------------------------------------------------------------------- /parser/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/package.json -------------------------------------------------------------------------------- /parser/src/output/csv_output.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/src/output/csv_output.ts -------------------------------------------------------------------------------- /parser/src/output/dot_output.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/src/output/dot_output.ts -------------------------------------------------------------------------------- /parser/src/output/output_strategy.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/src/output/output_strategy.ts -------------------------------------------------------------------------------- /parser/src/output/output_writer.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/src/output/output_writer.ts -------------------------------------------------------------------------------- /parser/src/parser.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/src/parser.ts -------------------------------------------------------------------------------- /parser/src/summaries.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/src/summaries.json -------------------------------------------------------------------------------- /parser/src/traverse/ast_builder.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/src/traverse/ast_builder.ts -------------------------------------------------------------------------------- /parser/src/traverse/cfg_builder.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/src/traverse/cfg_builder.ts -------------------------------------------------------------------------------- /parser/src/traverse/cg_builder.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/src/traverse/cg_builder.ts -------------------------------------------------------------------------------- /parser/src/traverse/dependency/dep_builder.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/src/traverse/dependency/dep_builder.ts -------------------------------------------------------------------------------- /parser/src/traverse/dependency/dep_factory.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/src/traverse/dependency/dep_factory.ts -------------------------------------------------------------------------------- /parser/src/traverse/dependency/structures/dependency_trackers.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/src/traverse/dependency/structures/dependency_trackers.ts -------------------------------------------------------------------------------- /parser/src/traverse/dependency/utils/nodes.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/src/traverse/dependency/utils/nodes.ts -------------------------------------------------------------------------------- /parser/src/traverse/dependency/utils/taint_nodes.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/src/traverse/dependency/utils/taint_nodes.ts -------------------------------------------------------------------------------- /parser/src/traverse/graph/edge.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/src/traverse/graph/edge.test.ts -------------------------------------------------------------------------------- /parser/src/traverse/graph/edge.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/src/traverse/graph/edge.ts -------------------------------------------------------------------------------- /parser/src/traverse/graph/graph.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/src/traverse/graph/graph.test.ts -------------------------------------------------------------------------------- /parser/src/traverse/graph/graph.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/src/traverse/graph/graph.ts -------------------------------------------------------------------------------- /parser/src/traverse/graph/node.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/src/traverse/graph/node.test.ts -------------------------------------------------------------------------------- /parser/src/traverse/graph/node.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/src/traverse/graph/node.ts -------------------------------------------------------------------------------- /parser/src/traverse/normalization/normalizer.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/src/traverse/normalization/normalizer.ts -------------------------------------------------------------------------------- /parser/src/traverse/normalization/normalizer_utils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/src/traverse/normalization/normalizer_utils.ts -------------------------------------------------------------------------------- /parser/src/traverse/test/ast_builder.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/src/traverse/test/ast_builder.test.ts -------------------------------------------------------------------------------- /parser/src/traverse/test/normalizer.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/src/traverse/test/normalizer.test.ts -------------------------------------------------------------------------------- /parser/src/utils/config_reader.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/src/utils/config_reader.ts -------------------------------------------------------------------------------- /parser/src/utils/multifile.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/src/utils/multifile.ts -------------------------------------------------------------------------------- /parser/src/utils/summary_reader.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/src/utils/summary_reader.ts -------------------------------------------------------------------------------- /parser/src/utils/utils.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/src/utils/utils.test.ts -------------------------------------------------------------------------------- /parser/src/utils/utils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/src/utils/utils.ts -------------------------------------------------------------------------------- /parser/test-inputs/normalization/array-expressions/input-code-1.js: -------------------------------------------------------------------------------- 1 | [[], 1 + 2]; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/array-expressions/input-code-2.js: -------------------------------------------------------------------------------- 1 | [[[], 1 + 2], eval('hello')] -------------------------------------------------------------------------------- /parser/test-inputs/normalization/array-expressions/input-code-3.js: -------------------------------------------------------------------------------- 1 | [23,,452]; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/array-expressions/input-expected-code-1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/array-expressions/input-expected-code-1.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/array-expressions/input-expected-code-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/array-expressions/input-expected-code-2.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/array-expressions/input-expected-code-3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/array-expressions/input-expected-code-3.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/arrow-function-expressions/input-code-1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/arrow-function-expressions/input-code-1.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/arrow-function-expressions/input-code-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/arrow-function-expressions/input-code-2.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/arrow-function-expressions/input-code-3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/arrow-function-expressions/input-code-3.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/arrow-function-expressions/input-code-4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/arrow-function-expressions/input-code-4.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/arrow-function-expressions/input-code-5.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/arrow-function-expressions/input-code-5.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/arrow-function-expressions/input-expected-code-1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/arrow-function-expressions/input-expected-code-1.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/arrow-function-expressions/input-expected-code-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/arrow-function-expressions/input-expected-code-2.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/arrow-function-expressions/input-expected-code-3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/arrow-function-expressions/input-expected-code-3.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/arrow-function-expressions/input-expected-code-4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/arrow-function-expressions/input-expected-code-4.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/arrow-function-expressions/input-expected-code-5.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/arrow-function-expressions/input-expected-code-5.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/assignment-expressions/input-code-1.js: -------------------------------------------------------------------------------- 1 | let x; 2 | x = 1; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/assignment-expressions/input-expected-code-1.js: -------------------------------------------------------------------------------- 1 | let x; 2 | x = 1; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/await-expressions/input-code-1.js: -------------------------------------------------------------------------------- 1 | async function f1() { 2 | let x = await 10; 3 | } -------------------------------------------------------------------------------- /parser/test-inputs/normalization/await-expressions/input-code-2.js: -------------------------------------------------------------------------------- 1 | async function f1() { 2 | let x = await f2(1 + 2); 3 | } -------------------------------------------------------------------------------- /parser/test-inputs/normalization/await-expressions/input-code-3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/await-expressions/input-code-3.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/await-expressions/input-expected-code-1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/await-expressions/input-expected-code-1.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/await-expressions/input-expected-code-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/await-expressions/input-expected-code-2.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/await-expressions/input-expected-code-3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/await-expressions/input-expected-code-3.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/binary-expressions/input-code-1.js: -------------------------------------------------------------------------------- 1 | 1 + 2; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/binary-expressions/input-code-2.js: -------------------------------------------------------------------------------- 1 | x + y; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/binary-expressions/input-code-3.js: -------------------------------------------------------------------------------- 1 | x = y + z; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/binary-expressions/input-code-4.js: -------------------------------------------------------------------------------- 1 | const x = y + z; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/binary-expressions/input-expected-code-1.js: -------------------------------------------------------------------------------- 1 | const v1 = 1 + 2; 2 | v1; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/binary-expressions/input-expected-code-2.js: -------------------------------------------------------------------------------- 1 | const v1 = x + y; 2 | v1; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/binary-expressions/input-expected-code-3.js: -------------------------------------------------------------------------------- 1 | x = y + z; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/binary-expressions/input-expected-code-4.js: -------------------------------------------------------------------------------- 1 | const x = y + z; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/call-expressions/input-code-1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/call-expressions/input-code-1.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/call-expressions/input-code-2.js: -------------------------------------------------------------------------------- 1 | Math.min(23, 23 + 19); -------------------------------------------------------------------------------- /parser/test-inputs/normalization/call-expressions/input-code-3.js: -------------------------------------------------------------------------------- 1 | f()(); -------------------------------------------------------------------------------- /parser/test-inputs/normalization/call-expressions/input-code-4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/call-expressions/input-code-4.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/call-expressions/input-expected-code-1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/call-expressions/input-expected-code-1.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/call-expressions/input-expected-code-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/call-expressions/input-expected-code-2.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/call-expressions/input-expected-code-3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/call-expressions/input-expected-code-3.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/call-expressions/input-expected-code-4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/call-expressions/input-expected-code-4.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/class-declarations/input-code-1.js: -------------------------------------------------------------------------------- 1 | class Foo extends Bar {} -------------------------------------------------------------------------------- /parser/test-inputs/normalization/class-declarations/input-code-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/class-declarations/input-code-2.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/class-declarations/input-code-3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/class-declarations/input-code-3.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/class-declarations/input-expected-code-1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/class-declarations/input-expected-code-1.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/class-declarations/input-expected-code-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/class-declarations/input-expected-code-2.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/class-declarations/input-expected-code-3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/class-declarations/input-expected-code-3.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/class-expressions/input-code-1.js: -------------------------------------------------------------------------------- 1 | let v = class Foo extends Bar { 2 | }; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/class-expressions/input-code-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/class-expressions/input-code-2.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/class-expressions/input-code-3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/class-expressions/input-code-3.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/class-expressions/input-expected-code-1.js: -------------------------------------------------------------------------------- 1 | let v = class Foo extends Bar { 2 | }; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/class-expressions/input-expected-code-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/class-expressions/input-expected-code-2.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/class-expressions/input-expected-code-3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/class-expressions/input-expected-code-3.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/conditionals/input-code-1.js: -------------------------------------------------------------------------------- 1 | let status = true ? 'adult' : 'minor'; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/conditionals/input-code-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/conditionals/input-code-2.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/conditionals/input-code-3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/conditionals/input-code-3.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/conditionals/input-code-4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/conditionals/input-code-4.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/conditionals/input-expected-code-1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/conditionals/input-expected-code-1.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/conditionals/input-expected-code-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/conditionals/input-expected-code-2.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/conditionals/input-expected-code-3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/conditionals/input-expected-code-3.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/conditionals/input-expected-code-4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/conditionals/input-expected-code-4.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/for-statements/input-code-1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/for-statements/input-code-1.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/for-statements/input-code-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/for-statements/input-code-2.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/for-statements/input-code-3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/for-statements/input-code-3.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/for-statements/input-code-4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/for-statements/input-code-4.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/for-statements/input-code-5.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/for-statements/input-code-5.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/for-statements/input-expected-code-1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/for-statements/input-expected-code-1.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/for-statements/input-expected-code-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/for-statements/input-expected-code-2.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/for-statements/input-expected-code-3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/for-statements/input-expected-code-3.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/for-statements/input-expected-code-4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/for-statements/input-expected-code-4.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/function-declarations/input-code-1.js: -------------------------------------------------------------------------------- 1 | function f1() { 2 | let x = 0; 3 | } -------------------------------------------------------------------------------- /parser/test-inputs/normalization/function-declarations/input-code-2.js: -------------------------------------------------------------------------------- 1 | function f(x, y, z) { 2 | x++; 3 | } -------------------------------------------------------------------------------- /parser/test-inputs/normalization/function-declarations/input-code-3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/function-declarations/input-code-3.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/function-declarations/input-code-4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/function-declarations/input-code-4.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/function-declarations/input-code-5.js: -------------------------------------------------------------------------------- 1 | function f() {} -------------------------------------------------------------------------------- /parser/test-inputs/normalization/function-declarations/input-expected-code-1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/function-declarations/input-expected-code-1.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/function-declarations/input-expected-code-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/function-declarations/input-expected-code-2.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/function-declarations/input-expected-code-3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/function-declarations/input-expected-code-3.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/function-declarations/input-expected-code-4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/function-declarations/input-expected-code-4.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/function-declarations/input-expected-code-5.js: -------------------------------------------------------------------------------- 1 | const f = function () { 2 | }; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/function-expressions/input-code-1.js: -------------------------------------------------------------------------------- 1 | let z = function () { 2 | 1 + 1; 3 | }; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/function-expressions/input-code-2.js: -------------------------------------------------------------------------------- 1 | module.exports = function f() { 2 | 1 + 1; 3 | }; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/function-expressions/input-expected-code-1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/function-expressions/input-expected-code-1.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/function-expressions/input-expected-code-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/function-expressions/input-expected-code-2.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/if-statements/input-code-1.js: -------------------------------------------------------------------------------- 1 | if (true) { 2 | 1 + 2; 3 | } -------------------------------------------------------------------------------- /parser/test-inputs/normalization/if-statements/input-code-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/if-statements/input-code-2.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/if-statements/input-code-3.js: -------------------------------------------------------------------------------- 1 | if (x === y) 2 | alert("They are the same!"); 3 | -------------------------------------------------------------------------------- /parser/test-inputs/normalization/if-statements/input-code-4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/if-statements/input-code-4.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/if-statements/input-expected-code-1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/if-statements/input-expected-code-1.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/if-statements/input-expected-code-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/if-statements/input-expected-code-2.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/if-statements/input-expected-code-3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/if-statements/input-expected-code-3.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/if-statements/input-expected-code-4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/if-statements/input-expected-code-4.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/differences.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/differences.md -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/fail/input-code-39.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/fail/input-code-39.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/fail/input-code-40.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/fail/input-code-40.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/fail/input-code-41.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/fail/input-code-41.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/fail/input-code-42.js: -------------------------------------------------------------------------------- 1 | switch (42) { 2 | } -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/fail/input-code-43.js: -------------------------------------------------------------------------------- 1 | switch (42) { 2 | case 23: 3 | } -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/fail/input-code-44.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/fail/input-code-44.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/fail/input-code-45.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/fail/input-code-45.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/fail/input-expected-code-39.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/fail/input-expected-code-39.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/fail/input-expected-code-40.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/fail/input-expected-code-40.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/fail/input-expected-code-41.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/fail/input-expected-code-41.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/fail/input-expected-code-42.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/fail/input-expected-code-42.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/fail/input-expected-code-43.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/fail/input-expected-code-43.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/fail/input-expected-code-44.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/fail/input-expected-code-44.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/fail/input-expected-code-45.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/fail/input-expected-code-45.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-code-32.js: -------------------------------------------------------------------------------- 1 | i++; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-code-33.js: -------------------------------------------------------------------------------- 1 | function f(i) { 2 | return i++; 3 | } -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-code-34.js: -------------------------------------------------------------------------------- 1 | var i = 0; 2 | do { 3 | alert(i++); 4 | } while (i < 10); -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-code-35.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/input-code-35.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-code-39.js: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-code-40.js: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-code-41.js: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-code-42.js: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-code-43.js: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-code-44.js: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-code-46.js: -------------------------------------------------------------------------------- 1 | throw new Error; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-code-47.js: -------------------------------------------------------------------------------- 1 | this.alert("Hi!"); -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-code-48.js: -------------------------------------------------------------------------------- 1 | function f() { 2 | return this.g(); 3 | } -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-code-49.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/input-code-49.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-code-50.js: -------------------------------------------------------------------------------- 1 | ++window.tick; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-code-51.js: -------------------------------------------------------------------------------- 1 | oldTick = window.tick++; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-code-52.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/input-code-52.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-code-53.js: -------------------------------------------------------------------------------- 1 | (function(i) { 2 | return i++, 42; 3 | })(); -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-code-54.js: -------------------------------------------------------------------------------- 1 | (function(i) { 2 | return i += 1, 42; 3 | })(); -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-code-55.js: -------------------------------------------------------------------------------- 1 | (function(o) { 2 | return o.x >>= 2, 42; 3 | })(); -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-code-56.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/input-code-56.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-code-57.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/input-code-57.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-code-58.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/input-code-58.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-code-59.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/input-code-59.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-code-60.js: -------------------------------------------------------------------------------- 1 | try { 2 | throw ""; 3 | } catch (e) {} -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-expected-code-32.js: -------------------------------------------------------------------------------- 1 | const v1 = i++; 2 | v1; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-expected-code-33.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/input-expected-code-33.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-expected-code-34.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/input-expected-code-34.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-expected-code-35.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/input-expected-code-35.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-expected-code-39.js: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-expected-code-40.js: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-expected-code-41.js: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-expected-code-42.js: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-expected-code-43.js: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-expected-code-44.js: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-expected-code-46.js: -------------------------------------------------------------------------------- 1 | const v1 = new Error(); 2 | throw v1; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-expected-code-47.js: -------------------------------------------------------------------------------- 1 | const v1 = this.alert; 2 | v1('Hi!'); -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-expected-code-48.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/input-expected-code-48.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-expected-code-49.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/input-expected-code-49.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-expected-code-50.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/input-expected-code-50.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-expected-code-51.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/input-expected-code-51.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-expected-code-52.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/input-expected-code-52.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-expected-code-53.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/input-expected-code-53.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-expected-code-54.js: -------------------------------------------------------------------------------- 1 | const v1 = function (i) { 2 | return i += 1, 42; 3 | }; 4 | v1(); -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-expected-code-55.js: -------------------------------------------------------------------------------- 1 | const v1 = function (o) { 2 | return o.x >>= 2, 42; 3 | }; 4 | v1(); -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/input-expected-code-56.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/input-expected-code-56.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/normalized.test57.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/normalized.test57.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/normalized.test58.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/normalized.test58.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/normalized.test59.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/normalized.test59.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/js-wala/normalized.test60.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/js-wala/normalized.test60.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/labeled-statements/input-code-1.js: -------------------------------------------------------------------------------- 1 | lbl: { 2 | break lbl; 3 | } -------------------------------------------------------------------------------- /parser/test-inputs/normalization/labeled-statements/input-code-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/labeled-statements/input-code-2.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/labeled-statements/input-code-3.js: -------------------------------------------------------------------------------- 1 | lbl: if (x === true) y = false; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/labeled-statements/input-expected-code-1.js: -------------------------------------------------------------------------------- 1 | lbl: { 2 | break lbl; 3 | } -------------------------------------------------------------------------------- /parser/test-inputs/normalization/labeled-statements/input-expected-code-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/labeled-statements/input-expected-code-2.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/labeled-statements/input-expected-code-3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/labeled-statements/input-expected-code-3.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/literals/input-code-1.js: -------------------------------------------------------------------------------- 1 | 23; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/literals/input-code-2.js: -------------------------------------------------------------------------------- 1 | 'hello'; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/literals/input-code-3.js: -------------------------------------------------------------------------------- 1 | /world/; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/literals/input-code-4.js: -------------------------------------------------------------------------------- 1 | foo; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/literals/input-expected-code-1.js: -------------------------------------------------------------------------------- 1 | 23; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/literals/input-expected-code-2.js: -------------------------------------------------------------------------------- 1 | 'hello'; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/literals/input-expected-code-3.js: -------------------------------------------------------------------------------- 1 | /world/; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/literals/input-expected-code-4.js: -------------------------------------------------------------------------------- 1 | foo; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/logical-expressions/input-code-1.js: -------------------------------------------------------------------------------- 1 | 1 && 2+1 -------------------------------------------------------------------------------- /parser/test-inputs/normalization/logical-expressions/input-code-2.js: -------------------------------------------------------------------------------- 1 | if (true && false) { 2 | let v1 = 1; 3 | } -------------------------------------------------------------------------------- /parser/test-inputs/normalization/logical-expressions/input-code-3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/logical-expressions/input-code-3.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/logical-expressions/input-code-4.js: -------------------------------------------------------------------------------- 1 | 1+2 && 1 -------------------------------------------------------------------------------- /parser/test-inputs/normalization/logical-expressions/input-code-5.js: -------------------------------------------------------------------------------- 1 | x.f && x.g; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/logical-expressions/input-expected-code-1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/logical-expressions/input-expected-code-1.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/logical-expressions/input-expected-code-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/logical-expressions/input-expected-code-2.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/logical-expressions/input-expected-code-3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/logical-expressions/input-expected-code-3.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/logical-expressions/input-expected-code-4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/logical-expressions/input-expected-code-4.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/logical-expressions/input-expected-code-5.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/logical-expressions/input-expected-code-5.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/member-expressions/input-code-1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/member-expressions/input-code-1.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/member-expressions/input-code-2.js: -------------------------------------------------------------------------------- 1 | const y = x[f()]; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/member-expressions/input-expected-code-1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/member-expressions/input-expected-code-1.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/member-expressions/input-expected-code-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/member-expressions/input-expected-code-2.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/new-expressions/input-code-1.js: -------------------------------------------------------------------------------- 1 | const x = new Object(1 + 2); -------------------------------------------------------------------------------- /parser/test-inputs/normalization/new-expressions/input-expected-code-1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/new-expressions/input-expected-code-1.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/object-expressions/input-code-1.js: -------------------------------------------------------------------------------- 1 | let x = {}; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/object-expressions/input-code-2.js: -------------------------------------------------------------------------------- 1 | let x = { p: 'p' }; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/object-expressions/input-code-3.js: -------------------------------------------------------------------------------- 1 | ({}); -------------------------------------------------------------------------------- /parser/test-inputs/normalization/object-expressions/input-code-4.js: -------------------------------------------------------------------------------- 1 | ({ 2 | x: 23 3 | }); -------------------------------------------------------------------------------- /parser/test-inputs/normalization/object-expressions/input-code-5.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/object-expressions/input-code-5.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/object-expressions/input-code-6.js: -------------------------------------------------------------------------------- 1 | ({ 2 | x: 23 + 19 3 | }); -------------------------------------------------------------------------------- /parser/test-inputs/normalization/object-expressions/input-code-7.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/object-expressions/input-code-7.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/object-expressions/input-code-8.js: -------------------------------------------------------------------------------- 1 | var map = { '%r': repo } 2 | -------------------------------------------------------------------------------- /parser/test-inputs/normalization/object-expressions/input-expected-code-1.js: -------------------------------------------------------------------------------- 1 | let x = {}; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/object-expressions/input-expected-code-2.js: -------------------------------------------------------------------------------- 1 | let x = {}; 2 | x.p = 'p'; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/object-expressions/input-expected-code-3.js: -------------------------------------------------------------------------------- 1 | ({}); -------------------------------------------------------------------------------- /parser/test-inputs/normalization/object-expressions/input-expected-code-4.js: -------------------------------------------------------------------------------- 1 | ({ x: 23 }); -------------------------------------------------------------------------------- /parser/test-inputs/normalization/object-expressions/input-expected-code-5.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/object-expressions/input-expected-code-5.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/object-expressions/input-expected-code-6.js: -------------------------------------------------------------------------------- 1 | const v1 = 23 + 19; 2 | ({ x: v1 }); -------------------------------------------------------------------------------- /parser/test-inputs/normalization/object-expressions/input-expected-code-7.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/object-expressions/input-expected-code-7.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/object-expressions/input-expected-code-8.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/object-expressions/input-expected-code-8.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/rest-elements/input-code-1.js: -------------------------------------------------------------------------------- 1 | 2 | function f(arg1, ...otherArgs) {} -------------------------------------------------------------------------------- /parser/test-inputs/normalization/rest-elements/input-code-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/rest-elements/input-code-2.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/rest-elements/input-code-3.js: -------------------------------------------------------------------------------- 1 | let [array = 1, ...otherParams] = f(); -------------------------------------------------------------------------------- /parser/test-inputs/normalization/rest-elements/input-code-4.js: -------------------------------------------------------------------------------- 1 | let [array = 1 + 2, ...otherParams] = f(); -------------------------------------------------------------------------------- /parser/test-inputs/normalization/rest-elements/input-code-5.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/rest-elements/input-code-5.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/rest-elements/input-code-6.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/rest-elements/input-code-6.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/rest-elements/input-code-7.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/rest-elements/input-code-7.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/rest-elements/input-expected-code-1.js: -------------------------------------------------------------------------------- 1 | const f = function (...args) { 2 | }; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/rest-elements/input-expected-code-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/rest-elements/input-expected-code-2.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/rest-elements/input-expected-code-3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/rest-elements/input-expected-code-3.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/rest-elements/input-expected-code-4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/rest-elements/input-expected-code-4.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/rest-elements/input-expected-code-5.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/rest-elements/input-expected-code-5.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/rest-elements/input-expected-code-6.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/rest-elements/input-expected-code-6.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/rest-elements/input-expected-code-7.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/rest-elements/input-expected-code-7.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/sequence-expressions/input-code-1.js: -------------------------------------------------------------------------------- 1 | 1, 2, 3, 4; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/sequence-expressions/input-code-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/sequence-expressions/input-code-2.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/sequence-expressions/input-code-3.js: -------------------------------------------------------------------------------- 1 | x = 0, y = { a: 2 + 1 } -------------------------------------------------------------------------------- /parser/test-inputs/normalization/sequence-expressions/input-expected-code-1.js: -------------------------------------------------------------------------------- 1 | 1, 2, 3, 4; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/sequence-expressions/input-expected-code-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/sequence-expressions/input-expected-code-2.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/sequence-expressions/input-expected-code-3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/sequence-expressions/input-expected-code-3.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/spread-elements/input-code-1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/spread-elements/input-code-1.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/spread-elements/input-expected-code-1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/spread-elements/input-expected-code-1.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/switch-statements/input-code-1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/switch-statements/input-code-1.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/switch-statements/input-code-10.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/switch-statements/input-code-10.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/switch-statements/input-code-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/switch-statements/input-code-2.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/switch-statements/input-code-3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/switch-statements/input-code-3.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/switch-statements/input-code-4.js: -------------------------------------------------------------------------------- 1 | switch (42) { 2 | } -------------------------------------------------------------------------------- /parser/test-inputs/normalization/switch-statements/input-code-5.js: -------------------------------------------------------------------------------- 1 | switch (42) { 2 | case 23: 3 | } -------------------------------------------------------------------------------- /parser/test-inputs/normalization/switch-statements/input-code-6.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/switch-statements/input-code-6.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/switch-statements/input-code-7.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/switch-statements/input-code-7.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/switch-statements/input-code-8.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/switch-statements/input-code-8.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/switch-statements/input-code-9.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/switch-statements/input-code-9.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/switch-statements/input-expected-code-1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/switch-statements/input-expected-code-1.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/switch-statements/input-expected-code-10.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/switch-statements/input-expected-code-10.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/switch-statements/input-expected-code-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/switch-statements/input-expected-code-2.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/switch-statements/input-expected-code-3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/switch-statements/input-expected-code-3.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/switch-statements/input-expected-code-4.js: -------------------------------------------------------------------------------- 1 | switch (42) { 2 | } -------------------------------------------------------------------------------- /parser/test-inputs/normalization/switch-statements/input-expected-code-5.js: -------------------------------------------------------------------------------- 1 | switch (42) { 2 | case 23: 3 | } -------------------------------------------------------------------------------- /parser/test-inputs/normalization/switch-statements/input-expected-code-6.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/switch-statements/input-expected-code-6.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/switch-statements/input-expected-code-7.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/switch-statements/input-expected-code-7.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/switch-statements/input-expected-code-8.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/switch-statements/input-expected-code-8.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/switch-statements/input-expected-code-9.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/switch-statements/input-expected-code-9.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/template-expressions/input-code-1.js: -------------------------------------------------------------------------------- 1 | const x = `string` -------------------------------------------------------------------------------- /parser/test-inputs/normalization/template-expressions/input-code-2.js: -------------------------------------------------------------------------------- 1 | const x = `string` + `concat` -------------------------------------------------------------------------------- /parser/test-inputs/normalization/template-expressions/input-code-3.js: -------------------------------------------------------------------------------- 1 | const x = `template ${expr}` -------------------------------------------------------------------------------- /parser/test-inputs/normalization/template-expressions/input-code-4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/template-expressions/input-code-4.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/template-expressions/input-code-5.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/template-expressions/input-code-5.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/template-expressions/input-expected-code-1.js: -------------------------------------------------------------------------------- 1 | const x = `string`; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/template-expressions/input-expected-code-2.js: -------------------------------------------------------------------------------- 1 | const x = `string` + `concat`; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/template-expressions/input-expected-code-3.js: -------------------------------------------------------------------------------- 1 | const x = `template ${ expr }`; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/template-expressions/input-expected-code-4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/template-expressions/input-expected-code-4.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/template-expressions/input-expected-code-5.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/template-expressions/input-expected-code-5.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/try-statements/input-code-1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/try-statements/input-code-1.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/try-statements/input-code-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/try-statements/input-code-2.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/try-statements/input-code-3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/try-statements/input-code-3.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/try-statements/input-code-4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/try-statements/input-code-4.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/try-statements/input-expected-code-1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/try-statements/input-expected-code-1.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/try-statements/input-expected-code-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/try-statements/input-expected-code-2.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/try-statements/input-expected-code-3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/try-statements/input-expected-code-3.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/try-statements/input-expected-code-4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/try-statements/input-expected-code-4.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/unary-expressions/input-code-1.js: -------------------------------------------------------------------------------- 1 | !false -------------------------------------------------------------------------------- /parser/test-inputs/normalization/unary-expressions/input-code-2.js: -------------------------------------------------------------------------------- 1 | const x = 0; 2 | x++; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/unary-expressions/input-code-3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/unary-expressions/input-code-3.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/unary-expressions/input-expected-code-1.js: -------------------------------------------------------------------------------- 1 | const v1 = !false; 2 | v1; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/unary-expressions/input-expected-code-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/unary-expressions/input-expected-code-2.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/variable-declarations/input-code-1.js: -------------------------------------------------------------------------------- 1 | let x = 1; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/variable-declarations/input-code-2.js: -------------------------------------------------------------------------------- 1 | let x = 1 + 2; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/variable-declarations/input-code-3.js: -------------------------------------------------------------------------------- 1 | let x = 1 + 2, y = 3; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/variable-declarations/input-code-4.js: -------------------------------------------------------------------------------- 1 | var x, y = x + 1; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/variable-declarations/input-expected-code-1.js: -------------------------------------------------------------------------------- 1 | let x = 1; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/variable-declarations/input-expected-code-2.js: -------------------------------------------------------------------------------- 1 | let x = 1 + 2; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/variable-declarations/input-expected-code-3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/variable-declarations/input-expected-code-3.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/variable-declarations/input-expected-code-4.js: -------------------------------------------------------------------------------- 1 | var x; 2 | var y = x + 1; -------------------------------------------------------------------------------- /parser/test-inputs/normalization/while-statements/input-code-1.js: -------------------------------------------------------------------------------- 1 | while (false) { 2 | 1 + 2; 3 | } -------------------------------------------------------------------------------- /parser/test-inputs/normalization/while-statements/input-code-2.js: -------------------------------------------------------------------------------- 1 | let x = 0; 2 | while (x < 1) { 3 | x++; 4 | } -------------------------------------------------------------------------------- /parser/test-inputs/normalization/while-statements/input-code-3.js: -------------------------------------------------------------------------------- 1 | let x = 0; 2 | do { 3 | x++; 4 | } while (x < 1); -------------------------------------------------------------------------------- /parser/test-inputs/normalization/while-statements/input-code-4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/while-statements/input-code-4.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/while-statements/input-code-5.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/while-statements/input-code-5.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/while-statements/input-code-6.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/while-statements/input-code-6.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/while-statements/input-expected-code-1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/while-statements/input-expected-code-1.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/while-statements/input-expected-code-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/while-statements/input-expected-code-2.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/while-statements/input-expected-code-3-old.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/while-statements/input-expected-code-3-old.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/while-statements/input-expected-code-3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/while-statements/input-expected-code-3.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/while-statements/input-expected-code-4-old.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/while-statements/input-expected-code-4-old.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/while-statements/input-expected-code-4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/while-statements/input-expected-code-4.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/while-statements/input-expected-code-5.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/while-statements/input-expected-code-5.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/while-statements/input-expected-code-6.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/while-statements/input-expected-code-6.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/yield-expressions/input-code-1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/yield-expressions/input-code-1.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/yield-expressions/input-code-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/yield-expressions/input-code-2.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/yield-expressions/input-expected-code-1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/yield-expressions/input-expected-code-1.js -------------------------------------------------------------------------------- /parser/test-inputs/normalization/yield-expressions/input-expected-code-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/test-inputs/normalization/yield-expressions/input-expected-code-2.js -------------------------------------------------------------------------------- /parser/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/parser/tsconfig.json -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- 1 | docker 2 | neo4j 3 | func-timeout==4.3.5 4 | -------------------------------------------------------------------------------- /setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/setup.sh -------------------------------------------------------------------------------- /shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/shell.nix -------------------------------------------------------------------------------- /tests/datasets/graphjs_dataset.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/datasets/graphjs_dataset.py -------------------------------------------------------------------------------- /tests/datasets/run_graphjs_dataset.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/datasets/run_graphjs_dataset.sh -------------------------------------------------------------------------------- /tests/expected/multifile_exported_object_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/multifile_exported_object_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/multifile_injection_callee_1_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/multifile_injection_callee_1_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/multifile_injection_callee_2_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/multifile_injection_callee_2_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/multifile_injection_callee_3_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/multifile_injection_callee_3_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/multifile_injection_callee_4_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/multifile_injection_callee_4_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/multifile_injection_caller_1_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/multifile_injection_caller_1_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/multifile_injection_caller_2_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/multifile_injection_caller_2_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/multifile_injection_caller_3_taint_summary.json: -------------------------------------------------------------------------------- 1 | [] 2 | -------------------------------------------------------------------------------- /tests/expected/multifile_injection_caller_4_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/multifile_injection_caller_4_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/multifile_injection_caller_5_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/multifile_injection_caller_5_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/multifile_injection_caller_6_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/multifile_injection_caller_6_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/multifile_require_1_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/multifile_require_1_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/multifile_require_2_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/multifile_require_2_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/multifile_secure_call_callee_taint_summary.json: -------------------------------------------------------------------------------- 1 | [] 2 | -------------------------------------------------------------------------------- /tests/expected/multifile_secure_return_taint_summary.json: -------------------------------------------------------------------------------- 1 | [] 2 | -------------------------------------------------------------------------------- /tests/expected/single_file_injection_callee_0_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/single_file_injection_callee_0_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/single_file_injection_callee_1_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/single_file_injection_callee_1_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/single_file_injection_callee_2_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/single_file_injection_callee_2_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/single_file_injection_callee_3_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/single_file_injection_callee_3_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/single_file_injection_callee_4_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/single_file_injection_callee_4_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/single_file_injection_callee_5_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/single_file_injection_callee_5_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/single_file_injection_callee_6_taint_summary.json: -------------------------------------------------------------------------------- 1 | [] 2 | -------------------------------------------------------------------------------- /tests/expected/single_file_injection_caller_1_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/single_file_injection_caller_1_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/single_file_injection_caller_2_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/single_file_injection_caller_2_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/single_file_injection_caller_3_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/single_file_injection_caller_3_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/single_file_injection_caller_4_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/single_file_injection_caller_4_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/single_file_injection_caller_5_taint_summary.json: -------------------------------------------------------------------------------- 1 | [] 2 | -------------------------------------------------------------------------------- /tests/expected/single_file_injection_caller_6_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/single_file_injection_caller_6_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/single_file_injection_caller_7_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/single_file_injection_caller_7_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/single_file_injection_caller_8_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/single_file_injection_caller_8_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/single_file_inner_functions_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/single_file_inner_functions_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/single_file_object_property_call_1_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/single_file_object_property_call_1_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/single_file_object_property_call_2_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/single_file_object_property_call_2_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/single_file_prototype_pollution_1_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/single_file_prototype_pollution_1_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/single_file_prototype_pollution_2_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/single_file_prototype_pollution_2_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/single_file_prototype_pollution_3_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/single_file_prototype_pollution_3_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/single_file_prototype_pollution_4_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/single_file_prototype_pollution_4_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/single_file_prototype_pollution_5_taint_summary.json: -------------------------------------------------------------------------------- 1 | [] 2 | -------------------------------------------------------------------------------- /tests/expected/single_file_prototype_pollution_6_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/single_file_prototype_pollution_6_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/single_file_prototype_pollution_7_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/single_file_prototype_pollution_7_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/single_file_prototype_pollution_8_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/single_file_prototype_pollution_8_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/single_file_rec_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/single_file_rec_taint_summary.json -------------------------------------------------------------------------------- /tests/expected/single_file_secure_call_callee_taint_summary.json: -------------------------------------------------------------------------------- 1 | [] 2 | -------------------------------------------------------------------------------- /tests/expected/single_file_secure_return_caller_taint_summary.json: -------------------------------------------------------------------------------- 1 | [] 2 | -------------------------------------------------------------------------------- /tests/expected/single_file_taint_args-1_taint_summary.json: -------------------------------------------------------------------------------- 1 | [] 2 | -------------------------------------------------------------------------------- /tests/expected/single_file_taint_args-2_taint_summary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/expected/single_file_taint_args-2_taint_summary.json -------------------------------------------------------------------------------- /tests/input/multifile/exported_object/g.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/exported_object/g.js -------------------------------------------------------------------------------- /tests/input/multifile/exported_object/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/exported_object/index.js -------------------------------------------------------------------------------- /tests/input/multifile/injection_callee_1/g.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/injection_callee_1/g.js -------------------------------------------------------------------------------- /tests/input/multifile/injection_callee_1/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/injection_callee_1/index.js -------------------------------------------------------------------------------- /tests/input/multifile/injection_callee_2/g.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/injection_callee_2/g.js -------------------------------------------------------------------------------- /tests/input/multifile/injection_callee_2/h.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/injection_callee_2/h.js -------------------------------------------------------------------------------- /tests/input/multifile/injection_callee_2/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/injection_callee_2/index.js -------------------------------------------------------------------------------- /tests/input/multifile/injection_callee_3/g.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/injection_callee_3/g.js -------------------------------------------------------------------------------- /tests/input/multifile/injection_callee_3/h.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/injection_callee_3/h.js -------------------------------------------------------------------------------- /tests/input/multifile/injection_callee_3/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/injection_callee_3/index.js -------------------------------------------------------------------------------- /tests/input/multifile/injection_callee_4/g.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/injection_callee_4/g.js -------------------------------------------------------------------------------- /tests/input/multifile/injection_callee_4/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/injection_callee_4/index.js -------------------------------------------------------------------------------- /tests/input/multifile/injection_caller_1/g.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/injection_caller_1/g.js -------------------------------------------------------------------------------- /tests/input/multifile/injection_caller_1/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/injection_caller_1/index.js -------------------------------------------------------------------------------- /tests/input/multifile/injection_caller_2/g.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/injection_caller_2/g.js -------------------------------------------------------------------------------- /tests/input/multifile/injection_caller_2/h.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/injection_caller_2/h.js -------------------------------------------------------------------------------- /tests/input/multifile/injection_caller_2/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/injection_caller_2/index.js -------------------------------------------------------------------------------- /tests/input/multifile/injection_caller_3/g.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/injection_caller_3/g.js -------------------------------------------------------------------------------- /tests/input/multifile/injection_caller_3/h.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/injection_caller_3/h.js -------------------------------------------------------------------------------- /tests/input/multifile/injection_caller_3/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/injection_caller_3/index.js -------------------------------------------------------------------------------- /tests/input/multifile/injection_caller_4/g.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/injection_caller_4/g.js -------------------------------------------------------------------------------- /tests/input/multifile/injection_caller_4/h.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/injection_caller_4/h.js -------------------------------------------------------------------------------- /tests/input/multifile/injection_caller_4/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/injection_caller_4/index.js -------------------------------------------------------------------------------- /tests/input/multifile/injection_caller_5/g.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/injection_caller_5/g.js -------------------------------------------------------------------------------- /tests/input/multifile/injection_caller_5/h.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/injection_caller_5/h.js -------------------------------------------------------------------------------- /tests/input/multifile/injection_caller_5/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/injection_caller_5/index.js -------------------------------------------------------------------------------- /tests/input/multifile/injection_caller_6/g.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/injection_caller_6/g.js -------------------------------------------------------------------------------- /tests/input/multifile/injection_caller_6/h.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/injection_caller_6/h.js -------------------------------------------------------------------------------- /tests/input/multifile/injection_caller_6/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/injection_caller_6/index.js -------------------------------------------------------------------------------- /tests/input/multifile/require_1/g.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/require_1/g.js -------------------------------------------------------------------------------- /tests/input/multifile/require_1/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/require_1/index.js -------------------------------------------------------------------------------- /tests/input/multifile/require_2/e.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/require_2/e.js -------------------------------------------------------------------------------- /tests/input/multifile/require_2/f.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/require_2/f.js -------------------------------------------------------------------------------- /tests/input/multifile/require_2/h.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/require_2/h.js -------------------------------------------------------------------------------- /tests/input/multifile/require_2/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/require_2/index.js -------------------------------------------------------------------------------- /tests/input/multifile/secure_call_callee/g.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/secure_call_callee/g.js -------------------------------------------------------------------------------- /tests/input/multifile/secure_call_callee/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/secure_call_callee/index.js -------------------------------------------------------------------------------- /tests/input/multifile/secure_return/g.js: -------------------------------------------------------------------------------- 1 | function g(x){ 2 | return 0; 3 | } 4 | 5 | module.exports = {g}; -------------------------------------------------------------------------------- /tests/input/multifile/secure_return/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/secure_return/index.js -------------------------------------------------------------------------------- /tests/input/multifile/test_filipe/eval.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/test_filipe/eval.js -------------------------------------------------------------------------------- /tests/input/multifile/test_filipe/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/multifile/test_filipe/index.js -------------------------------------------------------------------------------- /tests/input/single_file/injection_callee_0.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/single_file/injection_callee_0.js -------------------------------------------------------------------------------- /tests/input/single_file/injection_callee_1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/single_file/injection_callee_1.js -------------------------------------------------------------------------------- /tests/input/single_file/injection_callee_2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/single_file/injection_callee_2.js -------------------------------------------------------------------------------- /tests/input/single_file/injection_callee_3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/single_file/injection_callee_3.js -------------------------------------------------------------------------------- /tests/input/single_file/injection_callee_4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/single_file/injection_callee_4.js -------------------------------------------------------------------------------- /tests/input/single_file/injection_callee_5.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/single_file/injection_callee_5.js -------------------------------------------------------------------------------- /tests/input/single_file/injection_callee_6.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/single_file/injection_callee_6.js -------------------------------------------------------------------------------- /tests/input/single_file/injection_caller_1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/single_file/injection_caller_1.js -------------------------------------------------------------------------------- /tests/input/single_file/injection_caller_2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/single_file/injection_caller_2.js -------------------------------------------------------------------------------- /tests/input/single_file/injection_caller_3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/single_file/injection_caller_3.js -------------------------------------------------------------------------------- /tests/input/single_file/injection_caller_4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/single_file/injection_caller_4.js -------------------------------------------------------------------------------- /tests/input/single_file/injection_caller_5.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/single_file/injection_caller_5.js -------------------------------------------------------------------------------- /tests/input/single_file/injection_caller_6.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/single_file/injection_caller_6.js -------------------------------------------------------------------------------- /tests/input/single_file/injection_caller_7.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/single_file/injection_caller_7.js -------------------------------------------------------------------------------- /tests/input/single_file/injection_caller_8.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/single_file/injection_caller_8.js -------------------------------------------------------------------------------- /tests/input/single_file/injection_sanitizer.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/single_file/injection_sanitizer.js -------------------------------------------------------------------------------- /tests/input/single_file/inner_functions.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/single_file/inner_functions.js -------------------------------------------------------------------------------- /tests/input/single_file/object_property_call_1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/single_file/object_property_call_1.js -------------------------------------------------------------------------------- /tests/input/single_file/object_property_call_2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/single_file/object_property_call_2.js -------------------------------------------------------------------------------- /tests/input/single_file/prototype_pollution_1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/single_file/prototype_pollution_1.js -------------------------------------------------------------------------------- /tests/input/single_file/prototype_pollution_2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/single_file/prototype_pollution_2.js -------------------------------------------------------------------------------- /tests/input/single_file/prototype_pollution_3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/single_file/prototype_pollution_3.js -------------------------------------------------------------------------------- /tests/input/single_file/prototype_pollution_4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/single_file/prototype_pollution_4.js -------------------------------------------------------------------------------- /tests/input/single_file/prototype_pollution_5.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/single_file/prototype_pollution_5.js -------------------------------------------------------------------------------- /tests/input/single_file/prototype_pollution_6.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/single_file/prototype_pollution_6.js -------------------------------------------------------------------------------- /tests/input/single_file/prototype_pollution_7.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/single_file/prototype_pollution_7.js -------------------------------------------------------------------------------- /tests/input/single_file/prototype_pollution_8.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/single_file/prototype_pollution_8.js -------------------------------------------------------------------------------- /tests/input/single_file/rec.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/single_file/rec.js -------------------------------------------------------------------------------- /tests/input/single_file/secure_call_callee.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/single_file/secure_call_callee.js -------------------------------------------------------------------------------- /tests/input/single_file/secure_return_caller.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/single_file/secure_return_caller.js -------------------------------------------------------------------------------- /tests/input/single_file/taint_args-1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/single_file/taint_args-1.js -------------------------------------------------------------------------------- /tests/input/single_file/taint_args-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/input/single_file/taint_args-2.js -------------------------------------------------------------------------------- /tests/runTests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formalsec/graphjs/HEAD/tests/runTests.sh --------------------------------------------------------------------------------