Pinned

1. Few things I am inerested in!

   1

   # Compiler Tools and Techniques

   2

   3

   ## Compilers

   4

   #### LLVM

   5

    - Backend

2. Implements a function pass to approx...

   1

   //===-- max_stack_height.cpp - Static analysis for stack height approximation --------------------------------------==//

   2

   //

   3

   //                     The LLVM Compiler Infrastructure

   4

   //

   5

   // This file is distributed under the University of Illinois Open Source

3. non-separable-global-dataflow-framework Public

   Extend GCC's GDFA Architecture to Non-separable Framwork

   Turing 1

4. My Z3 proof snippets

   1

   2

   ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

   3

   ;;;;;;;;;;;;;;;;;;popcnt expl ;;;;;;;;;;;;;;;;;;;;;;;;;;;

   4

   (declare-const V (_ BitVec 64))

   5

   (declare-const I1 (_ BitVec 64))

5. binary-decompilation Public

   Extracting high level semantic information from binary code

   Assembly 55 8

6. Deconstruct the global stack of McSe...

   1

   //===-- stack_deconstructor.cpp - Deconstruct the global stack into local stack

   2

   // frame ---===//

   3

   //

   4

   //                     The LLVM Compiler Infrastructure

   5

   //