sdasgup3

import z3
import sys

def solve(msg, lvar, xvar, s):
  global status

  s.set("timeout", 60000)
  res = s.check()

  if(z3.unknown == res):

sdasgup3

Plugin management

• Instructions

  git clone https://github.com/VundleVim/Vundle.vim.git ~/.vim/bundle/Vundle.vim
  insert the code in .vimrc
  or add more plugins from https://vimawesome.com/
  Launch vim and run :source % and :PluginInstall

Source

sdasgup3

Compiler Tools and Techniques

Compilers

LLVM

• Backend
• https://github.com/draperlaboratory/fracture/wiki
• Life of an instruction in LLVM by Eli
• Different LLVM IRs
• MC Project

sdasgup3

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;;;;;;;;;;;;;;;popcnt expl ;;;;;;;;;;;;;;;;;;;;;;;;;;;
(declare-const V (_ BitVec 64))
(declare-const I1 (_ BitVec 64))
(declare-const I2 (_ BitVec 64))

(assert
(not 
(= 

sdasgup3

//===-- max_stack_height.cpp - Static analysis for stack height approximation --------------------------------------==//
//
//                     The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
//
// This implements a function pass to approximate the max stack height of each function.

sdasgup3

//===-- stack_deconstructor.cpp - Deconstruct the global stack into local stack
// frame ---===//
//
//                     The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
//

sdasgup3

Using Git

Global Settings

Related Setup: https://gist.github.com/hofmannsven/6814278

Related Pro Tips: https://ochronus.com/git-tips-from-the-trenches/

sdasgup3

tmux shortcuts & cheatsheet

start new:

tmux

start new with session name:

tmux new -s myname

sdasgup3

#!/usr/bin/python

##############################################################################################################
#   Extract information about a number.                                                                         #
#                                                                                                            #   
#   Example Usage: python infonum.py --bit 4 0xf                                                             #
#   Output:                                                                                                  #
#           Base 10: -1                                                                                      #   
#	    Base 16: f                                                                                       #
#	    2's Compliment binary: 1111                                                                      #   

sdasgup3

/* clock example: frequency of primes */
#include <chrono>
#include <cstdint>
#include <math.h>  /* sqrt */
#include <stdio.h> /* printf */
#include <sys/time.h>
#include <time.h> /* clock_t, clock, CLOCKS_PER_SEC */

using namespace std::chrono;