start new:
tmux
start new with session name:
tmux new -s myname
sdasgup3
/ tmux-cheatsheet.markdown
Created
November 21, 2017 18:58
— forked from MohamedAlaa/tmux-cheatsheet.markdown
tmux shortcuts & cheatsheet
sdasgup3
/ README.md
Created
April 4, 2018 18:36
— forked from hofmannsven/README.md
My simply Git Cheatsheet
Related Setup: https://gist.github.com/hofmannsven/6814278
Related Pro Tips: https://ochronus.com/git-tips-from-the-trenches/
sdasgup3
/ stack_deconstructor.cpp
Created
May 24, 2018 00:45
Deconstruct the global stack of McSema into local stack frame
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| //===-- 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
/ max_stack_height.cpp
Created
May 24, 2018 00:46
Implements a function pass to approximate the max stack height of each McSema lifted function.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| //===-- 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. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; | |
| ;;;;;;;;;;;;;;;;;;popcnt expl ;;;;;;;;;;;;;;;;;;;;;;;;;;; | |
| (declare-const V (_ BitVec 64)) | |
| (declare-const I1 (_ BitVec 64)) | |
| (declare-const I2 (_ BitVec 64)) | |
| (assert | |
| (not | |
| (= |
sdasgup3
/ vim-plugins.md
Created
December 17, 2019 03:56
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
sdasgup3
/ test-z3.py
Created
February 4, 2020 02:03
z3 Solver results affected on the order in which unrelated contraints are added
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import z3 | |
| import sys | |
| def solve(msg, lvar, xvar, s): | |
| global status | |
| s.set("timeout", 60000) | |
| res = s.check() | |
| if(z3.unknown == res): |
OlderNewer