/dports/security/py-pyvex/pyvex-9.0.5405/pyvex/ |
H A D | stmt.py | 180 def typecheck(self, tyenv): argument 209 def typecheck(self, tyenv): argument 249 def typecheck(self, tyenv): argument 286 def typecheck(self, tyenv): argument 293 if addrty != tyenv.wordty: 340 def typecheck(self, tyenv): argument 344 if addrty != tyenv.wordty: 413 def typecheck(self, tyenv): argument 543 def typecheck(self, tyenv): argument 597 def typecheck(self, tyenv): argument [all …]
|
H A D | expr.py | 55 def result_size(self, tyenv): argument 58 def result_type(self, tyenv): argument 112 def typecheck(self, tyenv): argument 139 def result_type(self, tyenv): argument 160 def result_type(self, tyenv): argument 181 def result_type(self, tyenv): argument 414 def typecheck(self, tyenv): argument 481 def typecheck(self, tyenv): argument 534 def typecheck(self, tyenv): argument 587 def typecheck(self, tyenv): argument [all …]
|
H A D | block.py | 126 def tyenv(self): member in IRSB 131 @tyenv.setter 132 def tyenv(self, v): member in IRSB 317 irsb.tyenv = tyenv 461 sa.append(" %s" % self.tyenv) 499 self.tyenv = IRTypeEnv._from_c(self.arch, c_irsb.tyenv) 502 self.tyenv = None 541 if tyenv is not None: 542 self.tyenv = tyenv 604 def _to_c(tyenv): argument [all …]
|
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/TypeCheck/ |
H A D | TypeOf.hs | 30 fastTypeOf tyenv expr = 33 ELocated _ t -> fastTypeOf tyenv t 39 EIf _ e _ -> fastTypeOf tyenv e 55 case fastSchemaOf tyenv expr of 61 fastSchemaOf tyenv expr = 63 ELocated _ e -> fastSchemaOf tyenv e 66 EVar x -> case Map.lookup x tyenv of 70 ETAbs tparam e -> case fastSchemaOf tyenv e of 72 ETApp e t -> case fastSchemaOf tyenv e of 86 EProofAbs p e -> case fastSchemaOf tyenv e of [all …]
|
/dports/security/py-angr/angr-9.0.5405/angr/analyses/reaching_definitions/ |
H A D | engine_vex.py | 116 size: int = stmt.data.result_size(self.tyenv) // 8 137 size = stmt.data.result_size(self.tyenv) // 8 146 size = stmt.data.result_size(self.tyenv) // 8 156 size = stmt.data.result_size(self.tyenv) // 8 259 bits = expr.result_size(self.tyenv) 276 bits: int = expr.result_size(self.tyenv) 295 return DataSet(data, expr.result_size(self.tyenv)) 301 bits = expr.result_size(self.tyenv) 404 return DataSet(data, expr.result_size(self.tyenv)) 439 bits = expr.result_size(self.tyenv) [all …]
|
/dports/security/py-angr/angr-9.0.5405/angr/state_plugins/ |
H A D | scratch.py | 37 self.tyenv = None 45 self.tyenv = scratch.tyenv 81 def set_tyenv(self, tyenv): argument 82 self.tyenv = tyenv 83 self.temps = [None]*len(tyenv.types)
|
/dports/math/teyjus/teyjus-2.1-7-ge63f40a/source/front/ |
H A D | readterm.ml | 144 | Absyn.ConstantTerm(c, tyenv, _) -> 148 (List.length tyenv)) 150 (rest, types @ tyenv) 219 Absyn.ConstantTerm(c, tyenv, _) -> 221 ((typeNodes tyenv (List.length tyenv)) + numTyNodes) 244 let rec getTypeMoleculeTypeAux tyenv tyskel = 248 Absyn.ArrowType(getTypeMoleculeTypeAux tyenv l, 249 getTypeMoleculeTypeAux tyenv r) 252 List.map (getTypeMoleculeTypeAux tyenv) args) 259 let tyenv = Types.getMoleculeEnvironment tymol in [all …]
|
/dports/devel/valgrind-lts/valgrind-dragonfly-dragonfly/drd/ |
H A D | drd_load_store.c | 356 tmp = newIRTemp(bb->tyenv, typeOfIRExpr(bb->tyenv, addr_expr)); in instr_trace_mem_load() 384 ty_data_expr = typeOfIRExpr(bb->tyenv, data_expr_lo); in instr_trace_mem_store() 390 IRTemp tmp = newIRTemp(bb->tyenv, Ity_F32); in instr_trace_mem_store() 396 IRTemp tmp = newIRTemp(bb->tyenv, Ity_F64); in instr_trace_mem_store() 405 IRTemp tmp = newIRTemp(bb->tyenv, Ity_I32); in instr_trace_mem_store() 411 IRTemp tmp = newIRTemp(bb->tyenv, Ity_I64); in instr_trace_mem_store() 449 tmp = newIRTemp(bb->tyenv, Ity_I32); in instr_trace_mem_store() 454 tmp = newIRTemp(bb->tyenv, Ity_I32); in instr_trace_mem_store() 536 size = sizeofIRType(typeOfIRExpr(bb->tyenv, data_expr)); in instrument_store() 539 IRTemp tmp = newIRTemp(bb->tyenv, typeOfIRExpr(bb->tyenv, addr_expr)); in instrument_store() [all …]
|
/dports/devel/valgrind/valgrind-dragonfly-dragonfly/drd/ |
H A D | drd_load_store.c | 356 tmp = newIRTemp(bb->tyenv, typeOfIRExpr(bb->tyenv, addr_expr)); in instr_trace_mem_load() 384 ty_data_expr = typeOfIRExpr(bb->tyenv, data_expr_lo); in instr_trace_mem_store() 390 IRTemp tmp = newIRTemp(bb->tyenv, Ity_F32); in instr_trace_mem_store() 396 IRTemp tmp = newIRTemp(bb->tyenv, Ity_F64); in instr_trace_mem_store() 405 IRTemp tmp = newIRTemp(bb->tyenv, Ity_I32); in instr_trace_mem_store() 411 IRTemp tmp = newIRTemp(bb->tyenv, Ity_I64); in instr_trace_mem_store() 449 tmp = newIRTemp(bb->tyenv, Ity_I32); in instr_trace_mem_store() 454 tmp = newIRTemp(bb->tyenv, Ity_I32); in instr_trace_mem_store() 536 size = sizeofIRType(typeOfIRExpr(bb->tyenv, data_expr)); in instrument_store() 539 IRTemp tmp = newIRTemp(bb->tyenv, typeOfIRExpr(bb->tyenv, addr_expr)); in instrument_store() [all …]
|
/dports/security/py-angr/angr-9.0.5405/angr/analyses/variable_recovery/ |
H A D | engine_vex.py | 19 size = stmt.data.result_size(self.tyenv) // 8 27 size = stmt.data.result_size(self.tyenv) // 8 37 size = stmt.data.result_size(self.tyenv) // 8 89 reg_size = expr.result_size(self.tyenv) // 8 95 size = expr.result_size(self.tyenv) // 8 119 result_size = expr.result_size(self.tyenv) 149 result_size = expr.result_size(self.tyenv) 229 result_size = expr.result_size(self.tyenv) 249 result_size = expr.result_size(self.tyenv) 272 result_size = expr.result_size(self.tyenv) [all …]
|
/dports/security/py-angr/angr-9.0.5405/angr/analyses/propagator/ |
H A D | engine_vex.py | 52 … VEXReg(expr.offset, expr.result_size(self.tyenv) // 8), 108 size = stmt.data.result_size(self.tyenv) // self.arch.byte_width 128 size = stmt.data.result_size(self.tyenv) // self.arch.byte_width 137 self.tmps[stmt.dst] = self._load_data(addr, stmt.alt.result_size(self.tyenv) // 8, 156 … self._store_data(addr, data, stmt.data.result_size(self.tyenv) // 8, self.arch.memory_endness) 168 size = self.tyenv.sizeof(stmt.result) // self.arch.byte_width 181 size = self.tyenv.sizeof(stmt.storedata.tmp) // self.arch.byte_width 194 size = expr.result_size(self.tyenv) // self.arch.byte_width 201 size = expr.result_size(self.tyenv) // self.arch.byte_width
|
/dports/security/py-ailment/ailment-9.0.5405/ailment/ |
H A D | converter.py | 49 return DirtyExpression(manager.next_atom(), expr, bits=expr.result_size(manager.tyenv)) 79 return VEXExprConverter.tmp(expr.tmp, expr.result_size(manager.tyenv), manager) 83 return VEXExprConverter.register(expr.offset, expr.result_size(manager.tyenv), manager) 89 expr.result_size(manager.tyenv) // 8, 160 return Const(manager.next_atom(), None, expr.con.value, expr.result_size(manager.tyenv), 223 var = VEXExprConverter.tmp(stmt.tmp, stmt.data.result_size(manager.tyenv), manager) 244 stmt.data.result_size(manager.tyenv) // 8, 282 dst = VEXExprConverter.tmp(stmt.dst, manager.tyenv.sizeof(stmt.dst) // 8, manager) 303 stmt.data.result_size(manager.tyenv) // 8, 337 manager.tyenv = irsb.tyenv
|
/dports/devel/valgrind-lts/valgrind-dragonfly-dragonfly/coregrind/ |
H A D | m_translate.c | 287 bb->tyenv = deepCopyIRTypeEnv(sb_in->tyenv); in vg_SP_update_pass() 538 old_SP = newIRTemp(bb->tyenv, typeof_SP); in vg_SP_update_pass() 585 new_SP = newIRTemp(bb->tyenv, typeof_SP); in vg_SP_update_pass() 1014 if (typeOfIRExpr(tyenv, e) == Ity_I32) { in narrowTo32() 1017 vg_assert(typeOfIRExpr(tyenv, e) == Ity_I64); in narrowTo32() 1067 t1 = newIRTemp( bb->tyenv, ty_Word ); in gen_PUSH() 1070 vg_assert(typeOfIRExpr(bb->tyenv, e) == ty_Word); in gen_PUSH() 1153 IRTemp t1 = newIRTemp( bb->tyenv, ty_Word ); in gen_POP() 1154 IRTemp res = newIRTemp( bb->tyenv, ty_Word ); in gen_POP() 1245 IRTemp old_R2 = newIRTemp( bb->tyenv, Ity_I64 ); in gen_pop_R2_LR_then_bLR() [all …]
|
/dports/devel/valgrind/valgrind-dragonfly-dragonfly/coregrind/ |
H A D | m_translate.c | 287 bb->tyenv = deepCopyIRTypeEnv(sb_in->tyenv); in vg_SP_update_pass() 538 old_SP = newIRTemp(bb->tyenv, typeof_SP); in vg_SP_update_pass() 585 new_SP = newIRTemp(bb->tyenv, typeof_SP); in vg_SP_update_pass() 1014 if (typeOfIRExpr(tyenv, e) == Ity_I32) { in narrowTo32() 1017 vg_assert(typeOfIRExpr(tyenv, e) == Ity_I64); in narrowTo32() 1067 t1 = newIRTemp( bb->tyenv, ty_Word ); in gen_PUSH() 1070 vg_assert(typeOfIRExpr(bb->tyenv, e) == ty_Word); in gen_PUSH() 1153 IRTemp t1 = newIRTemp( bb->tyenv, ty_Word ); in gen_POP() 1154 IRTemp res = newIRTemp( bb->tyenv, ty_Word ); in gen_POP() 1245 IRTemp old_R2 = newIRTemp( bb->tyenv, Ity_I64 ); in gen_pop_R2_LR_then_bLR() [all …]
|
/dports/security/py-pyvex/pyvex-9.0.5405/pyvex_c/ |
H A D | analysis.c | 118 IRType put_type = typeOfIRExpr(irsb->tyenv, stmt->Ist.Put.data); in get_default_exit_target() 164 reg_type = typeOfIRExpr(irsb->tyenv, data); in get_default_exit_target() 361 if (irsb->tyenv->types_used > 1024) { in collect_data_references() 362 tmps = malloc(irsb->tyenv->types_used * sizeof(TmpValue)); in collect_data_references() 367 memset(tmps, 0, irsb->tyenv->types_used * sizeof(TmpValue)); in collect_data_references() 386 size = sizeofIRType(typeOfIRTemp(irsb->tyenv, stmt->Ist.WrTmp.tmp)); in collect_data_references() 472 UInt key = mk_key_GetPut(stmt->Ist.Put.offset, typeOfIRExpr(irsb->tyenv, data)); in collect_data_references() 485 IRType data_type = typeOfIRExpr(irsb->tyenv, stmt->Ist.Put.data); in collect_data_references()
|
/dports/security/py-pyvex/pyvex-9.0.5405/vex/priv/ |
H A D | ir_defs.c | 1740 ppIRTypeEnv(bb->tyenv); in ppIRSB() 2321 bb->tyenv = emptyIRTypeEnv(); in emptyIRSB() 2591 bb2->tyenv = deepCopyIRTypeEnv(bb->tyenv); in deepCopyIRSBExceptStmts() 3987 if (tmp < 0 || tmp >= bb->tyenv->types_used) in useBeforeDef_Temp() 4146 const IRTypeEnv* tyenv = bb->tyenv; in tcExpr() local 4354 const IRTypeEnv* tyenv = bb->tyenv; in tcStmt() local 4383 if (typeOfIRExpr(tyenv,puti->data) in tcStmt() 4436 if (typeOfIRExpr(tyenv, lg->alt) != typeOfIRTemp(tyenv, lg->dst)) in tcStmt() 4486 if (typeOfIRTemp(tyenv, cas->oldHi) in tcStmt() 4555 retTy = typeOfIRTemp(tyenv, d->tmp); in tcStmt() [all …]
|
/dports/devel/valgrind-lts/valgrind-dragonfly-dragonfly/VEX/priv/ |
H A D | ir_defs.c | 1731 ppIRTypeEnv(bb->tyenv); in ppIRSB() 2312 bb->tyenv = emptyIRTypeEnv(); in emptyIRSB() 2582 bb2->tyenv = deepCopyIRTypeEnv(bb->tyenv); in deepCopyIRSBExceptStmts() 4008 if (tmp < 0 || tmp >= bb->tyenv->types_used) in useBeforeDef_Temp() 4235 const IRTypeEnv* tyenv = bb->tyenv; in tcExpr() local 4443 const IRTypeEnv* tyenv = bb->tyenv; in tcStmt() local 4472 if (typeOfIRExpr(tyenv,puti->data) in tcStmt() 4525 if (typeOfIRExpr(tyenv, lg->alt) != typeOfIRTemp(tyenv, lg->dst)) in tcStmt() 4575 if (typeOfIRTemp(tyenv, cas->oldHi) in tcStmt() 4644 retTy = typeOfIRTemp(tyenv, d->tmp); in tcStmt() [all …]
|
/dports/devel/valgrind/valgrind-dragonfly-dragonfly/VEX/priv/ |
H A D | ir_defs.c | 1731 ppIRTypeEnv(bb->tyenv); in ppIRSB() 2312 bb->tyenv = emptyIRTypeEnv(); in emptyIRSB() 2582 bb2->tyenv = deepCopyIRTypeEnv(bb->tyenv); in deepCopyIRSBExceptStmts() 4008 if (tmp < 0 || tmp >= bb->tyenv->types_used) in useBeforeDef_Temp() 4235 const IRTypeEnv* tyenv = bb->tyenv; in tcExpr() local 4443 const IRTypeEnv* tyenv = bb->tyenv; in tcStmt() local 4472 if (typeOfIRExpr(tyenv,puti->data) in tcStmt() 4525 if (typeOfIRExpr(tyenv, lg->alt) != typeOfIRTemp(tyenv, lg->dst)) in tcStmt() 4575 if (typeOfIRTemp(tyenv, cas->oldHi) in tcStmt() 4644 retTy = typeOfIRTemp(tyenv, d->tmp); in tcStmt() [all …]
|
/dports/security/py-pyvex/pyvex-9.0.5405/pyvex/lifting/ |
H A D | zerodivision.py | 54 arg_size = s.data.args[1].result_size(self.irsb.tyenv) 59 cmp_tmp = self.irsb.tyenv.add("Ity_I1")
|
/dports/devel/valgrind-lts/valgrind-dragonfly-dragonfly/lackey/ |
H A D | lk_main.c | 663 IRTypeEnv* tyenv = sbIn->tyenv; in lk_instrument() local 785 IRType type = typeOfIRExpr(sbOut->tyenv, expr); in lk_instrument() 807 IRType type = typeOfIRExpr(tyenv, data); in lk_instrument() 823 IRType type = typeOfIRExpr(tyenv, data); in lk_instrument() 886 dataTy = typeOfIRExpr(tyenv, cas->dataLo); in lk_instrument() 910 dataTy = typeOfIRTemp(tyenv, st->Ist.LLSC.result); in lk_instrument() 921 dataTy = typeOfIRExpr(tyenv, st->Ist.LLSC.storedata); in lk_instrument()
|
/dports/devel/valgrind/valgrind-dragonfly-dragonfly/lackey/ |
H A D | lk_main.c | 663 IRTypeEnv* tyenv = sbIn->tyenv; in lk_instrument() local 785 IRType type = typeOfIRExpr(sbOut->tyenv, expr); in lk_instrument() 807 IRType type = typeOfIRExpr(tyenv, data); in lk_instrument() 823 IRType type = typeOfIRExpr(tyenv, data); in lk_instrument() 886 dataTy = typeOfIRExpr(tyenv, cas->dataLo); in lk_instrument() 910 dataTy = typeOfIRTemp(tyenv, st->Ist.LLSC.result); in lk_instrument() 921 dataTy = typeOfIRExpr(tyenv, st->Ist.LLSC.storedata); in lk_instrument()
|
/dports/devel/valgrind-lts/valgrind-dragonfly-dragonfly/exp-dhat/ |
H A D | dh_main.c | 785 IRTemp t1 = newIRTemp(sbOut->tyenv, Ity_I64); in add_counter_update() 786 IRTemp t2 = newIRTemp(sbOut->tyenv, Ity_I64); in add_counter_update() 811 tyAddr = typeOfIRExpr( sbOut->tyenv, addr ); in addMemEvent() 837 IRTemp sp = newIRTemp(sbOut->tyenv, tyAddr); in addMemEvent() 840 IRTemp sp_minus_rz = newIRTemp(sbOut->tyenv, tyAddr); in addMemEvent() 849 IRTemp diff = newIRTemp(sbOut->tyenv, tyAddr); in addMemEvent() 858 IRTemp guard = newIRTemp(sbOut->tyenv, Ity_I1); in addMemEvent() 881 IRTypeEnv* tyenv = sbIn->tyenv; in dh_instrument() local 937 sizeofIRType(typeOfIRExpr(tyenv, data)), in dh_instrument() 991 dataTy = typeOfIRTemp(tyenv, st->Ist.LLSC.result); in dh_instrument() [all …]
|
/dports/devel/valgrind/valgrind-dragonfly-dragonfly/exp-dhat/ |
H A D | dh_main.c | 785 IRTemp t1 = newIRTemp(sbOut->tyenv, Ity_I64); in add_counter_update() 786 IRTemp t2 = newIRTemp(sbOut->tyenv, Ity_I64); in add_counter_update() 811 tyAddr = typeOfIRExpr( sbOut->tyenv, addr ); in addMemEvent() 837 IRTemp sp = newIRTemp(sbOut->tyenv, tyAddr); in addMemEvent() 840 IRTemp sp_minus_rz = newIRTemp(sbOut->tyenv, tyAddr); in addMemEvent() 849 IRTemp diff = newIRTemp(sbOut->tyenv, tyAddr); in addMemEvent() 858 IRTemp guard = newIRTemp(sbOut->tyenv, Ity_I1); in addMemEvent() 881 IRTypeEnv* tyenv = sbIn->tyenv; in dh_instrument() local 937 sizeofIRType(typeOfIRExpr(tyenv, data)), in dh_instrument() 991 dataTy = typeOfIRTemp(tyenv, st->Ist.LLSC.result); in dh_instrument() [all …]
|
/dports/security/py-pyvex/pyvex-9.0.5405/pyvex/lifting/util/ |
H A D | vex_helper.py | 112 return rdt.result_type(self.irsb.tyenv) 158 return self.irsb.tyenv.add(t) 194 assert op.typecheck(self.irsb.tyenv), msg + "\ntypes: " + str(self.irsb.tyenv) 280 return rdt.result_size(self.irsb.tyenv)
|
/dports/security/py-pyvex/pyvex-9.0.5405/tests/ |
H A D | test.py | 88 cursize = len(irsb.tyenv.types) 92 print(irsb.tyenv.types[irsb.statements[10].data.tmp]) 93 nose.tools.assert_equal(irsb.tyenv.lookup(irsb.statements[10].data.tmp), 'Ity_I64') 128 print(irsb.tyenv) 130 print(irsb.tyenv) 134 print(irsb2.tyenv) 137 irsb2.tyenv = copy.deepcopy(irsb.tyenv) 138 print(irsb2.tyenv)
|