knowdit-repo-model 0.6.0

Smart contract auditing framework.
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

pub mod cg;
pub mod db;
pub mod inheritance;
pub mod lang;
pub mod move_lang;
pub mod repo;
pub mod storage;

#[cfg(test)]
mod tests;

pub use inheritance::{ContractInherit, InheritanceGraph};
pub use lang::SourceLanguage;
pub use move_lang::{
    MoveAbility, MoveField, MoveFunctionMetadata, MoveGenericParam, MovePackageStructure,
    MoveStruct, MoveVisibility,
};

pub use repo::{
    CodeGenCore, CodeGenRecord, CodeGenStatus, CoverageEntry, FullSpecRegenIds, HarnessRunRecord,
    HistoricalLinkedFinding, HistoricalSemanticRecord, LinkResumeState, LoadedCodeGen,
    LoadedHarnessRun, LoadedSpecification, LoadedValidFinding, METADATA_KEY_PROFILE, MatchStrength,
    PendingReflection, ProjectComponent, ProjectProfile, ProjectSubsystem, ReflectionRecord,
    ReflectionResult, ReflectionWipeStats, RegenEventRecord, RepoDatabase, RunKind, SemanticMatch,
    SemanticMatchSet, ValidFindingRecord,
};