Functions — github.com/PLSysSec/veriwasm

CodeHub MCPcopy Create free account

hub / github.com/PLSysSec/veriwasm / functions

Functions302 in github.com/PLSysSec/veriwasm

⨍ Functions 302◇ Types & classes 54

(&self, f: &mut std::fmt::Formatter<'_>)

src/lattices/mod.rs:139

(&self, f: &mut std::fmt::Formatter<'_>)

src/lattices/stacklattice.rs:15

Methodfp_offset

src/ir/types.rs:81

src/ir/types.rs:292

src/loaders/types.rs:16

Functionfull_test_graphiteogghunspell

tests/testing.rs:271

Functionfull_test_libexpat

tests/testing.rs:280

Functionfull_test_libogg

tests/testing.rs:262

Functionfull_test_soundtouch

tests/testing.rs:289

Functionfull_test_with_locals

(path: &str, format: ExecutableType, arch: VwArch)

tests/testing.rs:81

(&self, index: &Value)

src/lattices/mod.rs:193

(&self, _index: &Value)

src/lattices/stackgrowthlattice.rs:15

Methodget_reg_index

(&self, index: u8, size: ValSize)

src/lattices/regslattice.rs:53

src/ir/types.rs:195

Functiongraph_blocks_vs_time

graph_stats.py:15

Functiongraph_funcs_vs_time

graph_stats.py:23

Functionheap_lattice_test

src/lattices/heaplattice.rs:19

Methodinit_state

src/analyses/stack_analyzer.rs:10

Methodinit_state

src/analyses/heap_analyzer.rs:21

Methodinit_state

src/analyses/reaching_defs.rs:68

Methodinit_state

src/analyses/locals_analyzer.rs:66

src/checkers/locals_checker.rs:96

src/checkers/call_checker.rs:40

src/checkers/stack_checker.rs:31

Methodis_caller_saved

src/ir/types.rs:449

src/ir/types.rs:396

Functionis_frame_access

src/checkers/heap_checker.rs:43

src/ir/types.rs:135

src/ir/types.rs:139

src/ir/types.rs:232

( instr: &yaxpeax_x86::long_mode::Instruction, addr: &u64, metadata: &VwMetadata, strict: bool

src/ir/aarch64.rs:4

( &self, instr: &yaxpeax_x86::long_mode::Instruction, addr: &u64, metadata: &V

src/ir/mod.rs:25

Functionload_target

(program: &M, addr: A::Address)

src/checkers/jump_resolver.rs:10

Functionload_wasmtime_metadata

(program: &ModuleData)

src/loaders/wasmtime.rs:52

src/bin/veriwasm.rs:7

(&self, other: &Self, _loc: &LocIdx)

src/lattices/localslattice.rs:47

(&self, other: &Self, _loc_idx: &LocIdx)

src/lattices/davlattice.rs:36

(&self, other: &Self, _loc_idx: &LocIdx)

src/lattices/reachingdefslattice.rs:45

(&self, other: &Self, loc_idx: &LocIdx)

src/lattices/regslattice.rs:115

(&self, other: &Self, loc_idx: &LocIdx)

src/lattices/stacklattice.rs:122

(&self, other: &Self, loc_idx: &LocIdx)

src/lattices/calllattice.rs:45

Functionmemarg_repr

(state: &HeapLattice, memarg: &MemArg)

src/checkers/heap_checker.rs:343

Functionmemarg_repr

(state: &CallCheckLattice, memarg: &MemArg)

src/checkers/call_checker.rs:123

Functionnegative_test_1

tests/testing.rs:344

Functionnegative_test_10

tests/testing.rs:443

Functionnegative_test_12

tests/testing.rs:465

Functionnegative_test_13

tests/testing.rs:476

Functionnegative_test_14

tests/testing.rs:487

Functionnegative_test_2

tests/testing.rs:355

Functionnegative_test_3

tests/testing.rs:366

Functionnegative_test_4

tests/testing.rs:377

Functionnegative_test_5

tests/testing.rs:388

Functionnegative_test_6

tests/testing.rs:399

Functionnegative_test_7

tests/testing.rs:410

Functionnegative_test_8

tests/testing.rs:421

Functionnegative_test_9

tests/testing.rs:432

Functionnegative_test_misfit_1

tests/testing.rs:532

Functionnegative_test_nacl_23

tests/testing.rs:499

Functionnegative_test_nacl_323_1

tests/testing.rs:510

Functionnegative_test_nacl_323_2

tests/testing.rs:521

Functionnegative_test_zerocost_1

tests/testing.rs:152

Functionnegative_test_zerocost_2

tests/testing.rs:163

Functionnegative_test_zerocost_3

tests/testing.rs:174

Functionnegative_test_zerocost_4

tests/testing.rs:185

Functionnegative_test_zerocost_5

tests/testing.rs:196

Functionnegative_test_zerocost_6

tests/testing.rs:207

Functionnegative_test_zerocost_7

tests/testing.rs:218

Functionnegative_test_zerocost_8

tests/testing.rs:229

Functionnegative_test_zerocost_9

tests/testing.rs:240

src/loaders/types.rs:67

src/lattices/mod.rs:127

(v: CallCheckValue)

src/lattices/calllattice.rs:39

src/ir/types.rs:415

src/lattices/stackgrowthlattice.rs:24

Methodpartial_cmp

(&self, other: &Self)

src/lattices/localslattice.rs:19

Methodpartial_cmp

(&self, other: &DAV)

src/lattices/davlattice.rs:15

Methodpartial_cmp

(&self, other: &Self)

src/lattices/mod.rs:27

Methodpartial_cmp

(&self, other: &ReachingDefnLattice)

src/lattices/reachingdefslattice.rs:25

Methodpartial_cmp

(&self, other: &Self)

src/lattices/regslattice.rs:31

Methodpartial_cmp

(&self, other: &StackLattice<T>)

src/lattices/stacklattice.rs:97

Methodpartial_cmp

(&self, other: &CallCheckValueLattice)

src/lattices/calllattice.rs:60

Methodpinned_heap_reg

src/ir/types.rs:441

Methodpinned_vmctx_reg

src/ir/types.rs:445

Methodprocess_branch

( &self, irmap: &IRMap, in_state: &CallCheckLattice, succ_addrs: &Vec<u64>,

src/analyses/call_analyzer.rs:172

Methodprocess_branch

( &self, irmap: &IRMap, in_state: &SwitchLattice, succ_addrs: &Vec<u64>,

src/analyses/jump_analyzer.rs:70

Methodprocess_branch

( &self, _irmap: &IRMap, in_state: &LocalsLattice, succ_addrs: &Vec<u64>,

src/analyses/locals_analyzer.rs:165

(&mut self, _index: &Value, _v: Self::Var)

src/lattices/stackgrowthlattice.rs:18

Methodset_reg_index

(&mut self, index: u8, size: ValSize, value: T)

src/lattices/regslattice.rs:71

Methodset_to_bot

(&mut self, _index: &Value)

src/lattices/stackgrowthlattice.rs:21

Functionstack_growth_lattice_test

src/lattices/stackgrowthlattice.rs:62

Functionstack_lattice_test_eq

src/lattices/stacklattice.rs:166

Functionstack_lattice_test_ord

src/lattices/stacklattice.rs:211

Functionstack_lattice_test_overlapping_entries

src/lattices/stacklattice.rs:236

Functionswitch_lattice_test

src/lattices/switchlattice.rs:19

Functionto_libcall

libcalls don't implicitly pass vmctx as the first argument

src/loaders/utils.rs:192

src/ir/types.rs:209

src/ir/types.rs:166

src/ir/types.rs:124

Methodtry_from_bits

src/ir/types.rs:28

Methodtry_from_bytes

src/ir/types.rs:55

← previous next →201–300 of 302, ranked by callers