Python analyzer 예제들

예제 #1

파일: test_slice1.py 프로젝트: oddeirikigland/ist-software-security

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": "",
    }]

예제 #2

파일: test_slice4.py 프로젝트: oddeirikigland/ist-software-security

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": "",
    }]