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
33
34
35
36
37
38

use super::{EvidenceCase, ExpectedFacts};

// Oracle names follow the Rust fact extractor: use paths, declarations, call callees, and bindings.
const CASES: &[EvidenceCase] = &[EvidenceCase {
    id: "rust_struct_function_facts",
    language: "rust",
    extension: "rs",
    source: r#"use std::fmt::Display;

pub struct Point {
    x: i32,
    y: i32,
}

pub fn sum(point: Point) -> i32 {
    let total = point.x + point.y;
    helper(total)
}

fn helper(value: i32) -> i32 {
    value
}
"#,
    expected: ExpectedFacts {
        symbols: &["Point", "x", "y", "sum", "helper"],
        imports: &["std::fmt::Display"],
        calls: &["helper"],
        variables: &["point", "total", "value"],
    },
    malformed: &[
        "pub struct MissingBrace { field: i32",
        "fn missing_parameter(value: i32 -> i32 { value }",
    ],
}];

pub fn cases() -> &'static [EvidenceCase] {
    CASES
}