ripex 0.3.0

Multi-language structural parsing and fact extraction.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32

use super::{EvidenceCase, ExpectedFacts};

// Oracle: the C extractor should report the include path, the inline struct and
// functions, the one initializer call, and every declared variable/field.
pub fn cases() -> &'static [EvidenceCase] {
    static CASES: &[EvidenceCase] = &[EvidenceCase {
        id: "c17_struct_call",
        language: "c",
        extension: "c",
        source: "#include <stddef.h>\n\
struct Point { int x; int y; } point;\n\
int sum_point(struct Point value) {\n\
    int total = value.x + value.y;\n\
    return total;\n\
}\n\
int main(void) {\n\
    int result = sum_point(point);\n\
    return result;\n\
}\n",
        expected: ExpectedFacts {
            symbols: &["Point", "sum_point", "main"],
            imports: &["stddef.h"],
            calls: &["sum_point"],
            variables: &["point", "x", "y", "value", "total", "result"],
        },
        malformed: &[
            "#include <stddef.h>\nstruct Broken { int x;\n",
            "int broken(int value) { return value;\n",
        ],
    }];
    CASES
}