codehelion-core 0.1.0

Engine and intermediate representation for the codehelion source-audit tool.
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
39
40
41
42
43
44
45
46
47

//! Restricted Semantic Operation Graphs.
//!
//! This is deliberately a closed vocabulary. The graph is a target for
//! compiler-independent normalization, not a generic program representation:
//! code that cannot be expressed by one of these operations is left outside
//! semantic matching. That restriction keeps later findings explainable as a
//! sequence of registered transformations instead of turning this mode into a
//! claim of general semantic equivalence.

use std::collections::{BTreeMap, BTreeSet};

use serde::{Deserialize, Serialize};
use thiserror::Error;

use crate::clone_class::CloneClass;
use crate::discovery::Language;
use crate::grouping::{self, GroupingConfig, GroupingUnit, SimilarityEdge};
use crate::types::TypeTag;
use crate::verify::Confidence;

mod candidates;
mod cross_language;
mod graph;
mod normalization;
mod rules;

use cross_language::{
    CROSS_LANGUAGE_OPTIONAL_VALIDATION_RULE, CROSS_LANGUAGE_RESULT_DIRECT_PROPAGATION_RULE,
    CROSS_LANGUAGE_RESULT_VALIDATION_RULE, CROSS_LANGUAGE_SEQUENCE_PIPELINE_RULE,
};
use rules::{
    OPTIONAL_VALIDATION_RULE, RESULT_VALIDATION_RULE, compatible_fallible_kinds,
    compatible_type_tags, direct_construct_matches, match_same_variant_rule, only_api_name,
};

#[cfg(test)]
use cross_language::DIRECT_LOOP_SEQUENCE_CORRESPONDENCE_ID;

pub use candidates::*;
pub use cross_language::*;
pub use graph::*;
pub use normalization::*;
pub use rules::*;

#[cfg(test)]
#[allow(clippy::expect_used)]
mod tests;