Types & classes — github.com/PLSysSec/veriwasm

CodeHub MCPcopy Create free account

hub / github.com/PLSysSec/veriwasm / types & classes

Types & classes54 in github.com/PLSysSec/veriwasm

⨍ Functions 302◇ Types & classes 54

InterfaceAbstractAnalyzer

src/analyses/mod.rs:21

src/ir/types.rs:325

ClassBooleanLattice

src/lattices/mod.rs:50

ClassCallAnalyzer

src/analyses/call_analyzer.rs:21

EnumCallCheckValue

src/lattices/calllattice.rs:9

ClassCallCheckValueLattice

src/lattices/calllattice.rs:26

ClassCallChecker

src/checkers/call_checker.rs:12

InterfaceChecker

src/checkers/mod.rs:20

src/runner/mod.rs:42

ClassConstLattice

src/lattices/mod.rs:83

src/lattices/davlattice.rs:8

EnumExecutableType

src/loaders/types.rs:27

src/ir/types.rs:345

ClassHeapAnalyzer

src/analyses/heap_analyzer.rs:16

ClassHeapChecker

src/checkers/heap_checker.rs:14

EnumHeapStrategy

src/lattices/heaplattice.rs:4

src/ir/types.rs:8

InterfaceLattice

src/lattices/mod.rs:36

InterfaceLiftable

src/ir/mod.rs:14

InterfaceLoadable

src/loaders/mod.rs:22

src/lattices/reachingdefslattice.rs:6

ClassLocalsAnalyzer

src/analyses/locals_analyzer.rs:19

ClassLocalsChecker

src/checkers/locals_checker.rs:19

src/ir/types.rs:94

src/ir/types.rs:87

src/ir/types.rs:510

src/ir/x64.rs:1052

ClassPassConfig

src/runner/mod.rs:35

ClassReachingDefnAnalyzer

src/analyses/reaching_defs.rs:28

ClassReachingDefnLattice

src/lattices/reachingdefslattice.rs:12

[derive(PartialEq, PartialOrd, Clone, Eq, Debug, Copy, Hash)]

src/ir/types.rs:517

ClassRegsIterator

Phantom data denotes what type of register we are iterating over, This allows us to use same Iterator and struct impl for all types of registers witho

src/ir/types.rs:407

src/lattices/localslattice.rs:12

ClassStackAnalyzer

src/analyses/stack_analyzer.rs:7

ClassStackChecker

src/checkers/stack_checker.rs:9

ClassStackLattice

src/lattices/stacklattice.rs:9

src/ir/types.rs:308

ClassSwitchAnalyzer

src/analyses/jump_analyzer.rs:16

EnumSwitchValue

src/lattices/switchlattice.rs:6

src/ir/types.rs:320

src/ir/types.rs:14

EnumValidationError

src/ir/types.rs:175

src/ir/types.rs:339

src/lattices/mod.rs:21

InterfaceVarState

src/lattices/mod.rs:40

ClassVariableState

src/lattices/mod.rs:133

src/loaders/types.rs:9

ClassVwFuncInfo

src/loaders/types.rs:59

ClassVwMetadata

src/loaders/types.rs:52

TODO: remove public fields

src/loaders/types.rs:44

src/ir/types.rs:353

ClassX86RegsLattice

src/lattices/regslattice.rs:12