Functions — github.com/PLSysSec/veriwasm

hub / github.com/PLSysSec/veriwasm / functions

Functions302 in github.com/PLSysSec/veriwasm

⨍ Functions 302◇ Types & classes 54

↓ 1 callersMethodcheck_global_access

(&self, state: &HeapLattice, access: &Value)

src/checkers/heap_checker.rs:134

↓ 1 callersFunctioncheck_heap

( result: AnalysisResult<HeapLattice>, irmap: &IRMap, analyzer: &HeapAnalyzer, name_addr_map:

src/checkers/heap_checker.rs:20

↓ 1 callersMethodcheck_heap_access

(&self, state: &HeapLattice, access: &Value)

src/checkers/heap_checker.rs:188

↓ 1 callersMethodcheck_indirect_call

( &self, state: &CallCheckLattice, target: &Value, loc_idx: &LocIdx, )

src/checkers/call_checker.rs:72

↓ 1 callersMethodcheck_jump_table_access

(&self, _state: &HeapLattice, access: &Value)

src/checkers/heap_checker.rs:293

↓ 1 callersFunctioncheck_locals

( result: AnalysisResult<LocalsLattice>, irmap: &IRMap, analyzer: &LocalsAnalyzer, )

src/checkers/locals_checker.rs:24

↓ 1 callersMethodcheck_metadata_access

(&self, state: &HeapLattice, access: &Value)

src/checkers/heap_checker.rs:250

↓ 1 callersMethodcheck_ripconst_access

(&self, state: &HeapLattice, access: &Value)

src/checkers/heap_checker.rs:156

↓ 1 callersFunctioncheck_stack

( result: AnalysisResult<StackGrowthLattice>, irmap: &IRMap, analyzer: &StackAnalyzer, )

src/checkers/stack_checker.rs:14

↓ 1 callersMethodcheck_stack_read

(&self, state: &StackGrowthLattice, src: &Value)

src/checkers/stack_checker.rs:122

↓ 1 callersMethodcheck_stack_write

(&self, state: &StackGrowthLattice, dst: &Value)

src/checkers/stack_checker.rs:159

↓ 1 callersMethodcheck_statement

(&self, state: &HeapLattice, ir_stmt: &Stmt, loc_idx: &LocIdx)

src/checkers/heap_checker.rs:73

↓ 1 callersMethodclear_caller_save_regs

TODO: should this do the inverse?

src/lattices/regslattice.rs:84

↓ 1 callersFunctionextract_jmp_targets

(program: &ModuleData, aval: &SwitchValueLattice)

src/checkers/jump_resolver.rs:20

↓ 1 callersMethodfetch_result

1. get enclosing block addr 2. get result for that block start 3. get result for specific addr

src/analyses/call_analyzer.rs:34

↓ 1 callersFunctionfully_resolved_cfg

( module: &VwModule, contexts: &MergedContextTable, addr: u64, strict: bool, )

src/ir/cfg.rs:87

↓ 1 callersFunctionfunc_body_and_bbs_to_cfg

( code: &[u8], basic_blocks: &[usize], cfg_edges: &[(usize, usize)], )

src/lib.rs:59

↓ 1 callersFunctiongenerate_summary_table

(aggregate_data)

graph_stats.py:69

↓ 1 callersFunctionget_aggregate_data

(dataset)

graph_stats.py:41

↓ 1 callersFunctionget_data

(filenames)

graph_stats.py:33

↓ 1 callersFunctionget_data

( program: &ModuleData, format: &ExecutableType, )

src/loaders/utils.rs:149

↓ 1 callersFunctionget_destinations

Captures all register and flag destinations TODO: Memory?

src/ir/x64.rs:174

↓ 1 callersMethodget_fn_ptr_type

( &self, result: &AnalysisResult<CallCheckLattice>, loc_idx: &LocIdx, src: &Va

src/analyses/call_analyzer.rs:63

↓ 1 callersMethodget_func_signatures

(&self, program: &ModuleData)

src/loaders/mod.rs:36

↓ 1 callersFunctionget_function_starts

( entrypoint: &u64, symbols: &Vec<ELFSymbol>, imports: &Vec<ELFImport>, exports: &Vec<ELFExpor

src/loaders/utils.rs:66

↓ 1 callersFunctionget_lucet_func_signatures

(program: &ModuleData)

src/loaders/lucet.rs:200

↓ 1 callersMethodget_plt_funcs

(&self, binpath: &str)

src/loaders/mod.rs:43

↓ 1 callersFunctionget_reg_size

(reg: yaxpeax_x86::long_mode::RegSpec)

src/ir/x64.rs:18

↓ 1 callersFunctionget_rsp_offset

(memargs: &MemArgs)

src/ir/types.rs:542

↓ 1 callersFunctionget_wasmtime_func_signatures

(program: &ModuleData)

src/loaders/wasmtime.rs:114

↓ 1 callersFunctionhas_indirect_jumps

(irmap: &IRMap)

src/ir/cfg.rs:12

↓ 1 callersMethodinit_state

(&self)

src/analyses/mod.rs:22

↓ 1 callersMethodirmap

(&self)

src/checkers/heap_checker.rs:66

↓ 1 callersMethodis_func_start

(&self, addr: u64)

src/analyses/call_analyzer.rs:366

↓ 1 callersFunctionis_globalbase_access

(in_state: &HeapLattice, memargs: &MemArgs)

src/analyses/heap_analyzer.rs:140

↓ 1 callersFunctionis_libcall

(name: &String)

src/loaders/utils.rs:23

↓ 1 callersFunctionis_table_size

mem[LucetTableBase + 8]

src/analyses/call_analyzer.rs:320

↓ 1 callersMethodis_valid_func_name

(&self, name: &String)

src/loaders/mod.rs:29

↓ 1 callersFunctionis_valid_lucet_func_name

func name is valid if: 1. is not probestack

src/loaders/lucet.rs:155

↓ 1 callersFunctionis_valid_wasmtime_func_name

We do not need to check handwritten trampoline functions

src/loaders/wasmtime.rs:109

↓ 1 callersFunctionlea

(instr: &X64Instruction, addr: &Addr)

src/ir/x64.rs:302

↓ 1 callersFunctionload_lucet_metadata

(program: &ModuleData)

src/loaders/lucet.rs:124

↓ 1 callersFunctionload_lucet_module_data

(program: &ModuleData)

src/loaders/lucet.rs:162

↓ 1 callersFunctionload_lucet_program

(config: &runner::Config)

src/loaders/lucet.rs:137

↓ 1 callersFunctionload_wasmtime_program

(config: &runner::Config)

src/loaders/wasmtime.rs:77

↓ 1 callersFunctionlucet_get_plt_funcs

(binpath: &str)

src/loaders/lucet.rs:21

↓ 1 callersFunctionmain

()

graph_stats.py:145

↓ 1 callersFunctionparse_bsf

returns (addr, operand(0), operand(1))

src/ir/x64.rs:885

↓ 1 callersFunctionparse_bsf_cmove

(instrs: BlockInstrs<'a>, metadata: &VwMetadata)

src/ir/x64.rs:958

↓ 1 callersFunctionparse_bsr

returns (addr, operand(0), operand(1))

src/ir/x64.rs:908

↓ 1 callersFunctionparse_bsr_cmove

(instrs: BlockInstrs<'a>, metadata: &VwMetadata)

src/ir/x64.rs:967

↓ 1 callersFunctionparse_instr

( instrs: BlockInstrs<'a>, metadata: &VwMetadata, strict: bool, )

src/ir/x64.rs:988

↓ 1 callersFunctionparse_instrs

( instrs: BlockInstrs, metadata: &VwMetadata, strict: bool, )

src/ir/x64.rs:1004

↓ 1 callersFunctionparse_probestack

( instrs: BlockInstrs<'a>, metadata: &VwMetadata, strict: bool, )

src/ir/x64.rs:857

↓ 1 callersFunctionparse_probestack_arg

( instrs: BlockInstrs<'a>, metadata: &VwMetadata, strict: bool, )

src/ir/x64.rs:792

↓ 1 callersFunctionparse_probestack_call

( instrs: BlockInstrs<'a>, metadata: &VwMetadata, strict: bool, )

src/ir/x64.rs:807

↓ 1 callersFunctionparse_probestack_suffix

( instrs: BlockInstrs<'a>, metadata: &VwMetadata, strict: bool, probestack_arg: u64, )

src/ir/x64.rs:824

↓ 1 callersFunctionprint_mem_access

(state: &HeapLattice, access: &Value)

src/checkers/heap_checker.rs:352

↓ 1 callersFunctionprint_mem_access

(state: &CallCheckLattice, memargs: &MemArgs)

src/checkers/call_checker.rs:132

↓ 1 callersMethodprocess_branch

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

src/analyses/mod.rs:25

↓ 1 callersMethodregs_not_restored

Check if callee-saved registers have been restored properly RSP and RBP are handled by stack analysis

src/checkers/locals_checker.rs:80

↓ 1 callersFunctionresolve_cfg

( module: &VwModule, contexts: &MergedContextTable, cfg: &VW_CFG, orig_irmap: &IRMap, addr

src/ir/cfg.rs:61

↓ 1 callersFunctionresolve_jumps

addr -> vec of targets

src/checkers/jump_resolver.rs:37

↓ 1 callersMethodret_is_uninitialized

(&self, state: &LocalsLattice)

src/checkers/locals_checker.rs:68

↓ 1 callersFunctionrun

(config: Config)

src/runner/mod.rs:158

↓ 1 callersFunctionrun_calls

( cfg: &VW_CFG, irmap: &IRMap, metadata: &VwMetadata, valid_funcs: &Vec<u64>, plt: (u64, u

src/runner/mod.rs:124

↓ 1 callersFunctionrun_heap

( cfg: &VW_CFG, irmap: &IRMap, metadata: &VwMetadata, all_addrs_map: &HashMap<u64, String>, )

src/runner/mod.rs:110

↓ 1 callersFunctionrun_locals

( reaching_defs: AnalysisResult<VariableState<ReachingDefnLattice>>, call_analysis: AnalysisResult<Cal

src/runner/mod.rs:54

↓ 1 callersFunctionrun_stack

(cfg: &VW_CFG, irmap: &IRMap)

src/runner/mod.rs:103

↓ 1 callersFunctionsegment_for

(program: &ModuleData, addr: usize)

src/loaders/lucet.rs:183

↓ 1 callersFunctionsummarise_data

(aggregate_data)

graph_stats.py:89

↓ 1 callersFunctionto_system_v

(sig: &Signature)

src/loaders/utils.rs:254

↓ 1 callersFunctionwasmtime_get_plt_funcs

(binpath: &str)

src/loaders/wasmtime.rs:118

Methodadd_imm

(&self, imm: i64)

src/ir/types.rs:100

Methodadjust_stack_offset

( &mut self, _opcode: &Binopcode, _dst: &Value, _src1: &Value, _src2:

src/lattices/stackgrowthlattice.rs:27

Methodaexec

(&self, in_state: &mut StackGrowthLattice, ir_instr: &Stmt, loc_idx: &LocIdx)

src/analyses/stack_analyzer.rs:14

Methodaexec

(&self, in_state: &mut LocalsLattice, ir_instr: &Stmt, loc_idx: &LocIdx)

src/analyses/locals_analyzer.rs:89

Methodaexec

(&self, state: &mut CallCheckLattice, ir_stmt: &Stmt, loc: &LocIdx)

src/checkers/call_checker.rs:43

Methodaexec

(&self, state: &mut StackGrowthLattice, ir_stmt: &Stmt, loc: &LocIdx)

src/checkers/stack_checker.rs:34

Methodaexec_binop

( &self, in_state: &mut CallCheckLattice, opcode: &Binopcode, dst: &Value,

src/analyses/call_analyzer.rs:115

Methodaexec_binop

( &self, in_state: &mut SwitchLattice, opcode: &Binopcode, dst: &Value,

src/analyses/jump_analyzer.rs:34

Methodaexec_unop

( &self, in_state: &mut CallCheckLattice, _opcode: &Unopcode, dst: &Value,

src/analyses/call_analyzer.rs:104

Methodaexec_unop

( &self, in_state: &mut SwitchLattice, _opcode: &Unopcode, dst: &Value,

src/analyses/jump_analyzer.rs:23

Functionboolean_lattice_test

()

src/lattices/mod.rs:228

Functioncall_lattice_test

()

src/lattices/calllattice.rs:80

Methodcheck_statement

(&self, state: &LocalsLattice, stmt: &Stmt, loc_idx: &LocIdx)

src/checkers/locals_checker.rs:104

Methodcheck_statement

(&self, state: &CallCheckLattice, ir_stmt: &Stmt, loc_idx: &LocIdx)

src/checkers/call_checker.rs:47

Methodcheck_statement

( &self, state: &StackGrowthLattice, ir_stmt: &Stmt, _loc_idx: &LocIdx, )

src/checkers/stack_checker.rs:38

Methodclear_regs

(&mut self)

src/lattices/regslattice.rs:79

Methoddefault

()

src/lattices/localslattice.rs:41

Methoddefault

()

src/lattices/davlattice.rs:57

Methoddefault

()

src/lattices/mod.rs:75

Methoddefault

()

src/lattices/reachingdefslattice.rs:52

Methoddefault

()

src/lattices/stacklattice.rs:157

Methoddefault

()

src/lattices/calllattice.rs:33

Methodeq

(&self, other: &BooleanLattice)

src/lattices/mod.rs:61

Methodeq

(&self, other: &ReachingDefnLattice)

src/lattices/reachingdefslattice.rs:39

Methodeq

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

src/lattices/stacklattice.rs:115

Functionfixup_object_file

(program: &mut ModuleData, obj: &[u8])

src/loaders/wasmtime.rs:17

Methodfmt

(&self, f: &mut std::fmt::Formatter)

src/lib.rs:28

← previous next →101–200 of 302, ranked by callers