FLASH
NJU「软件分析」学习笔记
Initializing search
    • Home
    • TCS
    • Math
    • Compiler
    • OS
    • Network
    • Security
    • Arch
    • EE
    f1a3h/notes
    • Home
          • DPV Ch.1: Algorithms with numbers
          • DPV Ch.2: Divide-and-conquer algorithms
          • DPV Ch.7: Linear programming and reductions
          • Lec 1
          • Lec 2
          • Lec 3
          • Lec 4
          • Lec 5
          • Lec 6
          • Lec 7
            • Greedy algorithms and local search
            • Rounding data and dynamic programming
            • Exercises 1
            • Exercises 2
            • Exercises 3
          • CFL-Reachability and IFDS
          • Data Flow Analysis
          • Datalog-Based Program Analysis
          • Interprocedural Analysis
          • Pointer Analysis
          • Soundness and Soundiness
          • Static Analysis for Security
          • NJU「软件分析」学习笔记
          • Syntax and Semantics
          • Programming Languages
        • Automata and Language Theory
        • Introduction to the Theory of Computation
          • The Church-Turing Thesis
          • Decidability
          • Reducibility
      • Linear Algebra Done Wrong
      • MIT 18.330
      • 谢惠民做题记录
        • Index
          • Introduction
          • The geometry of linear programming
          • The simplex method
          • Solutions to selected exercises
        • Index
          • Sample Space and Probability
          • Discrete Random Variables
          • General Random Variables
          • Homework 1
      • Index
        • Introduction to Compilers
        • COOL
        • Lexical Analysis
      • 课设
        • Concurrency
        • Persistence
        • Virtualization
        • OSTEP 学习笔记 序
        • CNATDA 第二章学习笔记
        • CNATDA 第三章学习笔记
        • CNATDA 第四章学习笔记
        • CNATDA 第五章学习笔记
        • CNATDA 第六章学习笔记
      • Stanford CS110L
        • Hash 函数
        • 公钥密码
        • 分组密码
      • UCB CS61C
        • CS:APP 第二章学习笔记
        • 计算机系统概述
        • 数据信息的表示
        • 运算方法与运算器
        • 存储系统
        • 指令系统
        • CPU
        • Convolution
        • Signals and System Properties

    NJU「软件分析」学习笔记

    The course website is here.

    I watched the lecture videos recorded in Spring 2020, and did the Tai-e assignments for exercise.

    • Course Introduction
    • Intermediate Representation
    • Data Flow Analysis
    • Interprocedural Analysis
    • Pointer Analysis
    • Static Analysis for Security
    • Datalog-Based Program Analysis
    • CFL-Reachability and IFDS
    • Soundness and Soundiness
    Copyright © 2024 - Present f1a3h
    Made with Material for MkDocs