Functions — github.com/PLSysSec/veriwasm

hub / github.com/PLSysSec/veriwasm / functions

Functions302 in github.com/PLSysSec/veriwasm

⨍ Functions 302◇ Types & classes 54

↓ 72 callersMethodget_reg

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

src/lattices/regslattice.rs:45

↓ 63 callersMethodset_reg

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

src/lattices/regslattice.rs:61

↓ 44 callersMethodget

(&self, offset: i64, size: u32)

src/lattices/stacklattice.rs:55

↓ 43 callersFunctionconvert_operand

(op: yaxpeax_x86::long_mode::Operand, memsize: ValSize)

src/ir/x64.rs:63

↓ 35 callersFunctionloc

(addr: u64, idx: u32)

src/lattices/reachingdefslattice.rs:65

↓ 33 callersMethoditer

()

src/ir/types.rs:526

↓ 19 callersFunctionget_operand_size

(op: &yaxpeax_x86::long_mode::Operand)

src/ir/x64.rs:208

↓ 17 callersFunctionnegative_test_helper

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

tests/testing.rs:103

↓ 17 callersMethodupdate

(&mut self, offset: i64, value: T, size: u32)

src/lattices/stacklattice.rs:24

↓ 16 callersMethodis_rsp

(&self)

src/ir/types.rs:143

↓ 15 callersMethodset

(&mut self, index: &Value, value: T)

src/lattices/mod.rs:180

↓ 12 callersFunctionconvert_memarg_reg

(reg: yaxpeax_x86::long_mode::RegSpec)

src/ir/x64.rs:52

↓ 9 callersFunctionnegative_test_with_locals

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

tests/testing.rs:127

↓ 9 callersMethodupdate_stack_offset

(&mut self, adjustment: i64)

src/lattices/stacklattice.rs:73

↓ 8 callersMethodget_probestack

(&self)

src/lattices/stackgrowthlattice.rs:46

↓ 8 callersMethodget_rbp

(&self)

src/lattices/stackgrowthlattice.rs:53

↓ 8 callersMethodget_stackgrowth

(&self)

src/lattices/stackgrowthlattice.rs:39

↓ 8 callersMethodinto_bytes

(self)

src/ir/types.rs:68

↓ 8 callersMethodis_empty

(&self)

src/lattices/reachingdefslattice.rs:19

↓ 8 callersMethodis_mem

(&self)

src/ir/types.rs:183

↓ 8 callersMethodis_rbp

(&self)

src/ir/types.rs:151

↓ 8 callersFunctionmedian

(lst)

graph_stats.py:10

↓ 8 callersFunctionset_from_flags

(operand: Operand, flags: Vec<X86Regs>)

src/ir/x64.rs:233

↓ 7 callersMethodcheck_mem_access

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

src/checkers/heap_checker.rs:303

↓ 7 callersFunctionrun_worklist

( cfg: &VW_CFG, irmap: &IRMap, analyzer: &T, )

src/analyses/mod.rs:121

↓ 6 callersMethodaeval_val

(&self, state: &LocalsLattice, value: &Value, loc_idx: &LocIdx)

src/analyses/locals_analyzer.rs:29

↓ 6 callersFunctionget_sources

Captures all register and flag sources TODO: Memory?

src/ir/x64.rs:149

↓ 6 callersMethodis_stack_access

(&self)

src/ir/types.rs:254

↓ 5 callersMethodadjust_stack_offset

(&mut self, opcode: &Binopcode, dst: &Value, src1: &Value, src2: &Value)

src/lattices/mod.rs:211

↓ 5 callersFunctiongeneric_clear

(instr: &X64Instruction)

src/ir/x64.rs:198

↓ 5 callersMethodset_to_bot

(&mut self, index: &Value)

src/lattices/mod.rs:203

↓ 5 callersFunctionsingleton

(loc_idx: LocIdx)

src/lattices/reachingdefslattice.rs:59

↓ 5 callersMethodto_imm

(&self)

src/ir/types.rs:159

↓ 4 callersFunctionbinop

(opcode: Binopcode, instr: &X64Instruction)

src/ir/x64.rs:265

↓ 4 callersMethodcheck_state_at_statements

(&self, result: AnalysisResult<State>)

src/checkers/mod.rs:25

↓ 4 callersFunctiondeconstruct_elf

( program: &ModuleData, )

src/loaders/utils.rs:35

↓ 4 callersFunctionfull_test_helper

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

tests/testing.rs:59

↓ 4 callersFunctionget_symbol_addr

return addr of symbol if present, else None

src/loaders/utils.rs:28

↓ 4 callersFunctionmk_value_i64

(num: i64)

src/ir/types.rs:538

↓ 4 callersMethodon_call

(&mut self)

src/lattices/mod.rs:207

↓ 4 callersFunctionparse_single_instr

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

src/ir/x64.rs:976

↓ 4 callersFunctionrun_helper

( config: Config, module: VwModule, plt_funcs: Vec<(u64, String)>, func_signatures: VwFuncInfo

src/runner/mod.rs:177

↓ 4 callersFunctionunop

(opcode: Unopcode, instr: &X64Instruction)

src/ir/x64.rs:240

↓ 4 callersFunctionunop_w_memsize

(opcode: Unopcode, instr: &X64Instruction, memsize: ValSize)

src/ir/x64.rs:257

↓ 3 callersMethodaeval_vals

if all values are initialized then the value is initialized

src/analyses/locals_analyzer.rs:49

↓ 3 callersMethodaexec

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

src/checkers/heap_checker.rs:69

↓ 3 callersFunctionconvert_reg

(reg: yaxpeax_x86::long_mode::RegSpec)

src/ir/x64.rs:35

↓ 3 callersMethodis_frame_access

(&self)

src/ir/types.rs:272

↓ 3 callersFunctionis_noninit_illegal

(v: &Value)

src/checkers/locals_checker.rs:32

↓ 3 callersFunctionlift

(instr: &X64Instruction, addr: &Addr, metadata: &VwMetadata, strict: bool)

src/ir/x64.rs:329

↓ 3 callersFunctionlift_cfg

(module: &VwModule, cfg: &VW_CFG, strict: bool)

src/ir/x64.rs:1029

↓ 3 callersFunctionload_program

(config: &Config)

src/loaders/mod.rs:15

↓ 3 callersFunctionmem_to_stack_offset

offset from current stack pointer returns None if points to heap

src/lattices/mod.rs:146

↓ 3 callersFunctionrun

(filenames)

graph_stats.py:136

↓ 3 callersFunctionto_system_v_ret_ty

(sig: &Signature)

src/loaders/utils.rs:311

↓ 2 callersMethodaexec

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

src/analyses/heap_analyzer.rs:29

↓ 2 callersMethodanalyze_block

(&self, state: &CallCheckLattice, irblock: &IRBlock)

src/analyses/call_analyzer.rs:81

↓ 2 callersFunctionanalyze_reaching_defs

Top level function

src/analyses/reaching_defs.rs:13

↓ 2 callersMethodas_imm_val

(&self)

src/ir/types.rs:239

↓ 2 callersFunctionbranch

(instr: &X64Instruction)

src/ir/x64.rs:293

↓ 2 callersMethodextract_stack_offset

(&self)

src/ir/types.rs:109

↓ 2 callersMethodfetch_def

1. get enclosing block addr 2. get result for that block start 3. run reaching def up to that point

src/analyses/reaching_defs.rs:37

↓ 2 callersFunctionget_proxy_func_signatures

()

tests/testing.rs:20

↓ 2 callersFunctionhashmap_le

(s1: &X86RegsLattice<T>, s2: &X86RegsLattice<T>)

src/lattices/regslattice.rs:16

↓ 2 callersFunctionhashmap_le

check if StackLattice s1 is less than StackLattice s2

src/lattices/stacklattice.rs:82

↓ 2 callersMethodinto_bits

(self)

src/ir/types.rs:42

↓ 2 callersFunctionis_fn_ptr

(in_state: &CallCheckLattice, memargs: &MemArgs)

src/analyses/call_analyzer.rs:329

↓ 2 callersFunctionis_typeof

returns none if not a typeof op returns Some(regnum) if result is type of regnum

src/analyses/call_analyzer.rs:351

↓ 2 callersMethodmeet

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

src/lattices/mod.rs:67

↓ 2 callersFunctionmemarg_is_frame

(memarg: &MemArg)

src/checkers/heap_checker.rs:34

↓ 2 callersFunctionparse_cmovez

returns src of the cmove (dst must be the same) although it says bsf, it also handles bsr

src/ir/x64.rs:932

↓ 2 callersFunctionread_module_buffer

Finds and returns the data corresponding [addr..addr+size]

src/loaders/lucet.rs:193

↓ 2 callersMethodshow

(&self)

src/lattices/regslattice.rs:108

↓ 2 callersFunctiontry_resolve_jumps

( module: &VwModule, contexts: &MergedContextTable, cfg: &VW_CFG, irmap: &IRMap, _addr: u6

src/ir/cfg.rs:28

↓ 2 callersFunctionvalsize

(num: u32)

src/ir/types.rs:534

↓ 1 callersMethodaeval_binop

checked_val << 4

src/analyses/call_analyzer.rs:428

↓ 1 callersMethodaeval_binop

1. x = switch_base + offset

src/analyses/jump_analyzer.rs:186

↓ 1 callersMethodaeval_unop

(&self, in_state: &CallCheckLattice, value: &Value)

src/analyses/call_analyzer.rs:370

↓ 1 callersMethodaeval_unop

1. if unop is a constant, set as constant -- done 2. if reg, return reg -- done 3. if stack access, return stack access -- done 4. x = mem[switch_base

src/analyses/jump_analyzer.rs:170

↓ 1 callersMethodaeval_unop

(&self, in_state: &HeapLattice, value: &Value)

src/analyses/heap_analyzer.rs:154

↓ 1 callersMethodaeval_unop_mem

( &self, in_state: &SwitchLattice, memargs: &MemArgs, memsize: &ValSize, )

src/analyses/jump_analyzer.rs:140

↓ 1 callersMethodaexec

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

src/analyses/mod.rs:63

↓ 1 callersMethodaexec

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

src/analyses/reaching_defs.rs:96

↓ 1 callersMethodaexec

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

src/checkers/locals_checker.rs:100

↓ 1 callersMethodaexec_binop

( &self, in_state: &mut State, opcode: &Binopcode, dst: &Value, _src1:

src/analyses/mod.rs:47

↓ 1 callersMethodaexec_binop

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

src/analyses/heap_analyzer.rs:90

↓ 1 callersMethodaexec_unop

( &self, in_state: &mut State, _opcode: &Unopcode, dst: &Value, _src:

src/analyses/mod.rs:37

↓ 1 callersMethodaexec_unop

( &self, in_state: &mut HeapLattice, opcode: &Unopcode, dst: &Value, s

src/analyses/heap_analyzer.rs:58

↓ 1 callersFunctionalign_succ_addrs

(addr: u64, succ_addrs: Vec<u64>)

src/analyses/mod.rs:100

↓ 1 callersMethodall_args_are_init

(&self, state: &LocalsLattice, sig: FunType)

src/checkers/locals_checker.rs:37

↓ 1 callersMethodanalyze_block

(&self, state: &State, irblock: &IRBlock)

src/analyses/mod.rs:76

↓ 1 callersFunctioncall

(instr: &X64Instruction, _metadata: &VwMetadata)

src/ir/x64.rs:297

↓ 1 callersMethodcheck

(&self, result: AnalysisResult<LocalsLattice>)

src/checkers/locals_checker.rs:92

↓ 1 callersMethodcheck

(&self, result: AnalysisResult<HeapLattice>)

src/checkers/heap_checker.rs:62

↓ 1 callersMethodcheck

(&self, result: AnalysisResult<CallCheckLattice>)

src/checkers/call_checker.rs:36

↓ 1 callersMethodcheck

(&self, result: AnalysisResult<StackGrowthLattice>)

src/checkers/stack_checker.rs:27

↓ 1 callersMethodcheck_bp_read

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

src/checkers/stack_checker.rs:141

↓ 1 callersMethodcheck_bp_write

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

src/checkers/stack_checker.rs:178

↓ 1 callersFunctioncheck_calls

( result: AnalysisResult<CallCheckLattice>, irmap: &IRMap, analyzer: &CallAnalyzer, funcs: &Ve

src/checkers/call_checker.rs:19

↓ 1 callersMethodcheck_calltable_lookup

(&self, state: &CallCheckLattice, memargs: &MemArgs)

src/checkers/call_checker.rs:100

next →1–100 of 302, ranked by callers