1. How to solve the big headache I have: Project in my mac, a project in my linux desktop, and a project in the github are out of synchronous. How to check the difference and how to make them synched?

   Answer. You’ll have to merge and sync your linux project files with your github project files first, then to sync …

When I try to install s2e in my Ubuntu 12.04, there is a weired problem happens. It give the following error message when I try to install some of the libraries. Google directed me to the following solution, which worked perfectly for me.

error

 1[2][21:36:18][rui@~]$sudo apt-get install libsdl1.2-dev
 2
 3Reading …

First to summarize the usage of typedef in C/C++. The usage can be categorized into three class:

1. to indicate what a variable indicates
2. to simplify a declaration, i.e. struct, class
3. using typedef with pointers
4. using typedef with typecasting

Here are some tips:

1. basically, typedef is define a more self-explained …

On last Thursday, I had submitted my first paper in system security, the conference is USENIX. Though it is not very solid results. I finally got it submitted. Many thanks to my adviser and Mihai. Their invaluable advice always inspiring.

I am going to list some deficiencies that I discovered from me.

1. I am always …

Install a kernel module in Linux

1. If new feature needed: kernel module daemon kmod will exec the modprobe. modprobe is passed in the form of a name (softdog or ppp) or generic string identifier (char-major-10-30). If modprobe is handed a string identifier, it will look for the string in the file /etc/modprobe.conf. …