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
27
28
29

//! SeaORM entity definitions for every table the project database holds. Pure value types
//! (call graph, storage graph, etc.) live one level up; this module is purely the shape of
//! rows in `sqlite`/`mysql` storage.
pub mod code_gen;
pub mod code_gen_regen;
pub mod contract;
pub mod contract_functions;
pub mod contract_inherit;
pub mod contract_variable;
pub mod function;
pub mod function_call;
pub mod function_state_variable;
pub mod harness_run;
pub mod historical_finding;
pub mod historical_semantic;
pub mod historical_semantic_finding_link;
pub mod interface;
pub mod interface_functions;
pub mod line_coverage;
pub mod r#move;
pub mod project_metadata;
pub mod project_semantic;
pub mod project_semantic_function;
pub mod reflection;
pub mod semantic_matched;
pub mod specification;
pub mod specification_regen;
pub mod state_variable;
pub mod valid_finding;