Cibai: An abstract interpretation-based static analyzer for modular analysis and verification of Java classes
Francesco Logozzo
1 January 2007
We introduce Cibai a generic static analyzer based on abstract interpretation for the modular analysis and verification of Java classes. We present the abstract semantics and the underlying abstract domain, a combination of an aliasing analysis and octagons.
We discuss some implementation issues, and we compare Cibai with similar tools, showing how Cibai achieves a higher level of automation and precision while having comparable performances.
Read more...
Showing posts with label Computer. Show all posts
Showing posts with label Computer. Show all posts
Friday, May 29, 2009
Wednesday, February 4, 2009
Tuesday, January 13, 2009
Microsoft Word Protection Bypass
A simple steps showing how a user can bypass this protection without using any special tools.
1.) Open a protected document in MS Word
2.) Save as "Web Page (*.htm; *.html)", close Word
3.) Open html-document in any Text-Editor
4.) Search "<w:UnprotectPassword>" tag, the line reads something like that: <w:UnprotectPassword>ABCDEF01</w:UnprotectPassword>
5.) The hex-values of the password in reverse order! will be: 01 EF CD AB
6) Now, open the protected document with the hex-editor - I used xvi32 and its free just google it!
7) Select the Search-Replace button then....
8) Put the reversed order password (01 EF CD AB) in the search field and 00 00 00 00 in the replace field...
9) Select Replace All!
10) Then Save it....
11) Then Close it...
And
12) Open document with MS Word, Select "Tools / Unprotect Document" (password is blank)
Read more...
1.) Open a protected document in MS Word
2.) Save as "Web Page (*.htm; *.html)", close Word
3.) Open html-document in any Text-Editor
4.) Search "<w:UnprotectPassword>" tag, the line reads something like that: <w:UnprotectPassword>ABCDEF01</w:UnprotectPassword>
5.) The hex-values of the password in reverse order! will be: 01 EF CD AB
6) Now, open the protected document with the hex-editor - I used xvi32 and its free just google it!
7) Select the Search-Replace button then....
8) Put the reversed order password (01 EF CD AB) in the search field and 00 00 00 00 in the replace field...
9) Select Replace All!
10) Then Save it....
11) Then Close it...
And
12) Open document with MS Word, Select "Tools / Unprotect Document" (password is blank)
Read more...
Thursday, December 11, 2008
Tuesday, November 25, 2008
Monday, November 24, 2008
History of Microsoft Windows
Windows 1.0
Windows 2.0
Windows 3.0
Windows 3.11
Windows 3.11 NT
Windows 95
Windows 98
Windows 2000
Windows Millennium Edition
Windows XP
Windows Vista
Windows 7
Read more...
Thursday, September 25, 2008
NTLDR is Missing
Windows XP users
1. Insert the Windows XP bootable CD into the computer.
2. When prompted to press any key to boot from the CD, press any key.
3. Once in the Windows XP setup menu press the "R" key to repair Windows.
4. Log into your Windows installation by pressing the "1" key and pressing enter.
5. You will then be prompted for your administrator password, enter that password.
6. Copy the below two files to the root directory of the primary hard disk. In the below example we are copying these files from the CD-ROM drive letter, which in this case is "e." This letter may be different on your computer.
copy e:\i386\ntldr c:\
copy e:\i386\ntdetect.com c:\
7. Once both of these files have been successfully copied, remove the CD from the computer and reboot.
Read more...
1. Insert the Windows XP bootable CD into the computer.
2. When prompted to press any key to boot from the CD, press any key.
3. Once in the Windows XP setup menu press the "R" key to repair Windows.
4. Log into your Windows installation by pressing the "1" key and pressing enter.
5. You will then be prompted for your administrator password, enter that password.
6. Copy the below two files to the root directory of the primary hard disk. In the below example we are copying these files from the CD-ROM drive letter, which in this case is "e." This letter may be different on your computer.
copy e:\i386\ntldr c:\
copy e:\i386\ntdetect.com c:\
7. Once both of these files have been successfully copied, remove the CD from the computer and reboot.
Read more...
Tuesday, September 16, 2008
Crack Megaupload dan Rapidshare
Megaupload Crack:
In this way, you can free up the megaupload slots and download whatever you want. Its easy! Just follow these steps:
1. Install this Firefox Extension: CODE http://www.megaupload.com/?d=N3RI1U4R
Mirror1: http://rapidshare.com/files/3313707/megaup...2.0-fx.xpi.html
Mirror2: http://depositfiles.com/files/373277
2. Restart Firefox.
3. Type the megaupload link in the address bar.
4. Dont press 'Enter' or click 'Go'. Instead go to Tools>Megaupload 2 and click on 'Enable'
5. Now click 'Go' and go to the megaupload download page.
6. WROOM!! All Download Slots vacant for you!!
Rapidshare.de Crack:
In this way, you can stop the rapidshare timer which the free users get in just a CLICK!! Just follow these steps:
1. Install this Firefox Extension: CODE http://www.megaupload.com/?d=40CL5HWR
Mirror 1: http://rapidshare.com/files/3313781/tix_now_-0.1-fx.xpi.html
Mirror 2: http://depositfiles.com/files/373278
2. Restart Firefox.
3. Go to the rapidshare link and click on 'Free' to initiate download process.
4. When the timer starts, click on the small 'T' button located on the bottom-left corner of your Firefox browser.
5. BOOM!!! The TIMER is set to 0!! Download now!!
Read more...
In this way, you can free up the megaupload slots and download whatever you want. Its easy! Just follow these steps:
1. Install this Firefox Extension: CODE http://www.megaupload.com/?d=N3RI1U4R
Mirror1: http://rapidshare.com/files/3313707/megaup...2.0-fx.xpi.html
Mirror2: http://depositfiles.com/files/373277
2. Restart Firefox.
3. Type the megaupload link in the address bar.
4. Dont press 'Enter' or click 'Go'. Instead go to Tools>Megaupload 2 and click on 'Enable'
5. Now click 'Go' and go to the megaupload download page.
6. WROOM!! All Download Slots vacant for you!!
Rapidshare.de Crack:
In this way, you can stop the rapidshare timer which the free users get in just a CLICK!! Just follow these steps:
1. Install this Firefox Extension: CODE http://www.megaupload.com/?d=40CL5HWR
Mirror 1: http://rapidshare.com/files/3313781/tix_now_-0.1-fx.xpi.html
Mirror 2: http://depositfiles.com/files/373278
2. Restart Firefox.
3. Go to the rapidshare link and click on 'Free' to initiate download process.
4. When the timer starts, click on the small 'T' button located on the bottom-left corner of your Firefox browser.
5. BOOM!!! The TIMER is set to 0!! Download now!!
Read more...
Thursday, September 4, 2008
Wednesday, August 20, 2008
Installing MySql in Vista
I've try and it's work only using MySQL Server 5.0.x and doesn't work at MySQL Server 5.1.x
1. Use mysql-essential-5.0.msi
2. Download and run Resource Hacker http://www.angusj.com/resourcehacker/ (run as administrator)
3. Open ...\MySQL Server 5.0\bin\MySQLInstanceConfig.exe with Resource Hacker
4. Navigate to 24\1\1033
5. Delete all text in the window
6. Press "Compile script"
7. Exit Resource Hacker and save the result (overwrite the initial MySQLInstanceConfig.exe)
8. Now MySQLInstanceConfig.exe should start normally.
Read more...
1. Use mysql-essential-5.0.msi
2. Download and run Resource Hacker http://www.angusj.com/resourcehacker/ (run as administrator)
3. Open ...\MySQL Server 5.0\bin\MySQLInstanceConfig.exe with Resource Hacker
4. Navigate to 24\1\1033
5. Delete all text in the window
6. Press "Compile script"
7. Exit Resource Hacker and save the result (overwrite the initial MySQLInstanceConfig.exe)
8. Now MySQLInstanceConfig.exe should start normally.
Read more...
Subscribe to:
Posts (Atom)
