tools

Javier — Tue, 31 Jan 2012 08:48:03 +0000

static analysis
> findbugs
> clang
> soot

parser generator
> antrl

symbolic analysis + automatic test gen
> pex
> klee
> randoop

model inference
> perracotta
>

bash

Javier — Tue, 24 Jan 2012 08:47:27 +0000

strip directory and suffix from filenames
> basename /usr/bin/sort
sort
>basename include/stdio.h .h
stdio

read file line by line
>exec < $filename
>read varname
>var=$varname

Javier — Fri, 14 Oct 2011 19:27:06 +0000

Delete svn folders
> find ./ -name .svn -exec rm -rf {} \;

Javier — Thu, 22 Sep 2011 19:11:45 +0000

create tar.gz
> tar czvf myfolder.tar.gz folder_name

extract from tar.gz
> tar -zxvf extractme.tar.gz

install/uninstall .deb
> sudo dpkg -i package_file.deb
> sudo dpkg -r package_name

configure ubuntu unity
> sudo apt-get remove liboverlay-scrollbar-0.1-0 overlay-scrollbar
> sudo apt-get install compizconfig-settings-manager