Home
last modified time | relevance | path

Searched refs:ControlFlowGraph (Results 1 – 25 of 46) sorted by relevance

12

/aosp_15_r20/external/nullaway/nullaway/src/main/java/com/uber/nullaway/dataflow/
H A DDataFlow.java52 import org.checkerframework.nullaway.dataflow.cfg.ControlFlowGraph;
88 final ControlFlowGraph cfg = key.cfg();
98 private final LoadingCache<CfgParams, ControlFlowGraph> cfgCache =
102 new CacheLoader<CfgParams, ControlFlowGraph>() {
104 public ControlFlowGraph load(CfgParams key) {
154 final ControlFlowGraph cfg = cfgCache.getUnchecked(CfgParams.create(path, env)); in dataflow()
166 public ControlFlowGraph getControlFlowGraph() { in dataflow()
184 ControlFlowGraph getControlFlowGraph(TreePath path, Context context, T transfer) {
321 ForwardTransferFunction<?, ?> transferFunction, ControlFlowGraph cfg) {
328 abstract ControlFlowGraph cfg();
[all …]
/aosp_15_r20/external/nullaway/nullaway/src/main/java/com/uber/nullaway/dataflow/cfg/
H A DNullAwayCFGBuilder.java13 import org.checkerframework.nullaway.dataflow.cfg.ControlFlowGraph;
61 public static ControlFlowGraph build( in build()
79 ControlFlowGraph phase2result = CFGTranslationPhaseTwo.process(phase1result); in build()
80 ControlFlowGraph phase3result = CFGTranslationPhaseThree.process(phase2result); in build()
/aosp_15_r20/tools/dexter/slicer/export/slicer/
H A Dcontrol_flow_graph.h88 struct ControlFlowGraph { struct
96 ControlFlowGraph(const CodeIr* code_ir, bool model_exceptions) : code_ir(code_ir) { in ControlFlowGraph() argument
/aosp_15_r20/external/apache-commons-bcel/src/main/java/org/apache/bcel/verifier/structurals/
H A DControlFlowGraph.java44 public class ControlFlowGraph{ class
415 public ControlFlowGraph(final MethodGen method_gen) { in ControlFlowGraph() method in ControlFlowGraph
425 public ControlFlowGraph(final MethodGen method_gen, final boolean enableJustIceCheck) { in ControlFlowGraph() method in ControlFlowGraph
H A DPass3bVerifier.java129 …private void circulationPump(final MethodGen m,final ControlFlowGraph cfg, final InstructionContex… in circulationPump()
351 final ControlFlowGraph cfg = new ControlFlowGraph(mg); in do_verify()
/aosp_15_r20/external/nullaway/jar-infer/jar-infer-lib/src/main/java/com/uber/nullaway/jarinfer/
H A DDefinitelyDerefedParams.java21 import com.ibm.wala.cfg.ControlFlowGraph;
64 private final ControlFlowGraph<SSAInstruction, ISSABasicBlock> cfg;
93 IMethod method, IR ir, ControlFlowGraph<SSAInstruction, ISSABasicBlock> cfg) { in DefinitelyDerefedParams()
H A DDefinitelyDerefedParamsDriver.java21 import com.ibm.wala.cfg.ControlFlowGraph;
113 ControlFlowGraph<SSAInstruction, ISSABasicBlock> cfg = ir.getControlFlowGraph(); in getAnalysisDriver()
/aosp_15_r20/external/angle/third_party/spirv-tools/src/source/
H A Ddisassemble.cpp110 struct ControlFlowGraph { struct
163 ControlFlowGraph current_function_cfg_;
237 ControlFlowGraph& cfg) { in BuildControlFlowGraph()
308 void Nest(ControlFlowGraph& cfg, in Nest()
325 void NestSuccessors(ControlFlowGraph& cfg, const SingleBlock& block, in NestSuccessors()
412 ControlFlowGraph& cfg, in OrderBlocks()
/aosp_15_r20/tools/dexter/dexter/
H A Ddisassembler.cc347 std::unique_ptr<lir::ControlFlowGraph> cfg; in Disassemble()
350 cfg.reset(new lir::ControlFlowGraph(&code_ir, false)); in Disassemble()
353 cfg.reset(new lir::ControlFlowGraph(&code_ir, true)); in Disassemble()
H A Ddisassembler.h29 PrintCodeIrVisitor(std::shared_ptr<ir::DexFile> dex_ir, lir::ControlFlowGraph* cfg) in PrintCodeIrVisitor()
62 lir::ControlFlowGraph* cfg_ = nullptr;
H A Dexperimental.cc38 lir::ControlFlowGraph cfg_compact(&code_ir, false); in FullRewrite()
39 lir::ControlFlowGraph cfg_verbose(&code_ir, true); in FullRewrite()
371 lir::ControlFlowGraph cfg(&code_ir, true); in CodeCoverage()
/aosp_15_r20/prebuilts/gradle-plugin/com/android/tools/lint/lint-checks/31.7.0-alpha07/
HDlint-checks-31.7.0-alpha07.jarMETA-INF/ META-INF/MANIFEST.MF com/ com/android/ com/ ...
/aosp_15_r20/prebuilts/cmdline-tools/tools/lib/lint/
HDtools.lint-checks.jarMETA-INF/ META-INF/MANIFEST.MF com/ com/android/ com/ ...
/aosp_15_r20/tools/dexter/slicer/
H A Dcontrol_flow_graph.cc130 void ControlFlowGraph::CreateBasicBlocks(bool model_exceptions) { in CreateBasicBlocks()
/aosp_15_r20/art/test/ti-stress/
H A Dstress.cc84 lir::ControlFlowGraph cfg_compact(&code_ir, false); in DoExtractClassFromData()
85 lir::ControlFlowGraph cfg_verbose(&code_ir, true); in DoExtractClassFromData()
/aosp_15_r20/prebuilts/devtools/tools/lib/
HDlint-checks.jarMETA-INF/ META-INF/MANIFEST.MF com/ com/android/ com/ ...
/aosp_15_r20/external/kotlinc/license/
H A DREADME.md26 - Path: compiler/backend/src/org/jetbrains/kotlin/codegen/optimization/common/ControlFlowGraph.kt
/aosp_15_r20/out/soong/.intermediates/external/apache-commons-bcel/apache-bcel/linux_glibc_common/local-javac-header/
Dapache-bcel.jarMETA-INF/ META-INF/MANIFEST.MF org/ org/apache/ org/ ...
/aosp_15_r20/out/soong/.intermediates/external/apache-commons-bcel/apache-bcel/linux_glibc_common/javac/
Dapache-bcel.jarMETA-INF/ META-INF/MANIFEST.MF org/ org/apache/ org/ ...
Dapache-bcel.jar.rsp1 …che-commons-bcel/src/main/java/org/apache/bcel/verifier/structurals/ControlFlowGraph.java external…
/aosp_15_r20/prebuilts/tools/common/m2/repository/org/jetbrains/kotlin/kotlin-compiler/1.3.61-release-180/
HDkotlin-compiler-1.3.61-release-180.jarMETA-INF/ META-INF/MANIFEST.MF META-INF/backend-common. ...
/aosp_15_r20/prebuilts/tools/common/m2/repository/org/jetbrains/kotlin/kotlin-plugin-ij193/1.3.61-release-180/
HDkotlin-plugin-ij193-1.3.61-release-180.jarMETA-INF/ META-INF/MANIFEST.MF kotlinManifest.properties META-INF/annotation ...
/aosp_15_r20/external/apache-commons-bcel/docs/verifier/
H A DJustIce.lyx9564 ControlFlowGraph cfg;
9582 cfg = new ControlFlowGraph(m)
/aosp_15_r20/out/soong/.intermediates/prebuilts/gradle-plugin/metalava-gradle-plugin-deps/linux_glibc_common/local-combined/
Dmetalava-gradle-plugin-deps.jarMETA-INF/ META-INF/MANIFEST.MF META-INF/AL2.0 META ...
/aosp_15_r20/prebuilts/tools/common/m2/repository/com/intellij/core-analysis/
HDintellij-core-analysis.jarMETA-INF/ META-INF/MANIFEST.MF com/ com/intellij/ com/ ...

12