def test_slice1():
program_slice = "{}/data/slice1.json".format(ROOT_DIR)
pattern = "{}/tests/test_slice1/slice1_vuln_pattern.json".format(ROOT_DIR)
analyzer(program_slice, pattern, debug=True)
output = read_from_json("{}/data/slice1.output.json".format(ROOT_DIR))
assert output == [{
"vulnerability": "SQL injection",
"source": "a",
"sink": "z",
"sanitizer": "",
}]
def test_slice4():
program_slice = "{}/data/slice4.json".format(ROOT_DIR)
pattern = "{}/tests/test_slice4/slice4_vuln_pattern.json".format(ROOT_DIR)
analyzer(program_slice, pattern, debug=False)
output = read_from_json("{}/data/slice4.output.json".format(ROOT_DIR))
assert output == [{
"vulnerability": "SQL injection",
"source": "koneksi",
"sink": "s",
"sanitizer": "",
}]