david.garden

Recent Resource

  • CodeBase overview

    Jul 09, 2026

  • QEMU Dev Start[youtube] notes

    Jul 09, 2026

  • QEMU Memory Model

    Jul 04, 2026

See 38 more →

Recent Project

  • QBOX

    Jul 15, 2026

  • rpclib (msgpack)

    Jul 14, 2026

  • Notes about DTS

    Jun 14, 2026

See 21 more →

Recent Area

  • Data Flow Analysis - Foundation

    Aug 09, 2026

  • Pointer Analysis

    Aug 09, 2026

  • Introduction to Optimization

    Aug 08, 2026

  • Data Flow Analysis

    Aug 08, 2026

  • Engineer A Compiler 3rd

    Aug 08, 2026

See 122 more →

南京大学关于程序分析的课程

Feb 12, 20251 min read

  • SPA nju bilibili
  • SPA 奥胡斯大学 Aarhus University
  • nju 老师知乎
  • Qihe: static verilog analysis framework

4 items under this folder.

  • Aug 09, 2026

    Data Flow Analysis - Foundation

    • Aug 09, 2026

      Pointer Analysis

      • Aug 08, 2026

        Data Flow Analysis

        • Mar 06, 2026

          Qihe paper notes

          • spa
          • verilog

        Recent Resource

        • CodeBase overview

          Jul 09, 2026

        • QEMU Dev Start[youtube] notes

          Jul 09, 2026

        • QEMU Memory Model

          Jul 04, 2026

        See 38 more →

        Recent Project

        • QBOX

          Jul 15, 2026

        • rpclib (msgpack)

          Jul 14, 2026

        • Notes about DTS

          Jun 14, 2026

        See 21 more →

        Recent Area

        • Data Flow Analysis - Foundation

          Aug 09, 2026

        • Pointer Analysis

          Aug 09, 2026

        • Introduction to Optimization

          Aug 08, 2026

        • Data Flow Analysis

          Aug 08, 2026

        • Engineer A Compiler 3rd

          Aug 08, 2026

        See 122 more →

        Created with Quartz v4.5.1 © 2026

        • GitHub