DOOP for Windows r958

Martin Bravenboer in Development \ Misc. Dev. Tools

Doop is a framework for pointer, or points-to, analysis of Java programs.


   

Doop is a framework for pointer, or points-to, analysis of Java programs. Doop implements a range of algorithms, including context insensitive, call-site sensitive, and object-sensitive analyses, all specified modularly as variations on a common code base.

Compared to alternative context-sensitive pointer analysis implementations (such as Paddle) Doop is much faster, and scales better. Also, with comparable context-sensitivity features, Doop is more precise in handling some Java features (for example exceptions) than alternatives.

Doop builds on the idea of specifying pointer analysis algorithms declaratively, using Datalog: a logic-based language for defining (recursive) relations. Doop carries the declarative approach further than past work (such as bddbddb) by describing the full end-to-end analysis in Datalog and optimizing aggressively through exposition of the representation of relations (for example indexing) to the Datalog language level. Doop uses the Datalog dialect and engine of LogicBlox.

<b>Features:</b>

- Doop supports a range different kinds of context-sensitive pointer analysis (for example call-site-sensitive, object-sensitive, and thread-sensitive). Most of the logic of Doop is entirely generic, so new combinations of context-sensitivity can easily be defined.

- Doop supports a context-sensitive heap abstraction (also known as heap cloning or heap specialization). A context-sensitive heap abstraction can be combined with any other context-sensitive analysis.

- Doop implements subset-based (or inclusion-based) analyses, which preserve the directionality of assignments (unlike equivalence-based analyses).

- Doop produces a precise callgraph by implementing fully on-the-fly callgraph discovery. This means that the pointer information collected by Doop is used to determine callgraph edges and vice versa.

- Doop implements a precise exception analysis by determining for every method which exceptions it may throw. Variables for caught exceptions only point to exception objects that may be thrown in the scope of the try block.

- Doop implements a sophisticated reflection analysis. Doop uses distinct representations of instances of java.lang.Class for every class in the analyzed program. This reduces the number of human configuration points, solves more reflection scenarios automatically (e.g. Class.newInstance, Method.invoke, Constructor.newInstance), and improves precision.

-Doop implements field-sensitive analyses. This means that Doop distinguishes different fields of an object. The analyses are, however, array-element insensitive, which means that Doop does not consider different indexes of an array object as different variables.

- Doop implements flow-insensitive pointer analyses. Doop can achieve some of the benefits of flow-sensitivity for local variables, by applying the analysis on the static single assignment (SSA) form of the program.
Doop emulates the behavior of some common native methods (such as privileged actions). More will be added in the near future!

- Doop emulates the JVM as precisely as possible. For example, Doop fully supports java.lang.ref.Reference.
Doop's analyses take type information into account: points-to facts are not propagated if they would violate the JVM type system.
The analyses of Doop are continuously tested against an extensive testsuite.

DOOP for Windows r958 Misc. Dev. Tools software developed by Martin Bravenboer. The license of this misc. dev. tools software is shareware, you can free download and get a free trial before you buy a registration or license. Do not use illegal warez version, crack, serial numbers, registration codes, pirate key for this misc. dev. tools software DOOP for Windows. If you want to get a full and unlimited version of DOOP for Windows, you should buy from original publisher Martin Bravenboer.


Similar Software

Windows Desktop Randomizer 2.3.0 Rapid Ascent Software Inc.  Screen Savers

Breath a little personality into your Microsoft Windows PC. The Windows Desktop Randomizer will transform the desktop wallpaper and screensaver of your Windows PC into a personal slideshow of your family and friends, your wedding and travels, or any other digital images you may have on your...

WinaXe Windows X Server 7.2 LabF  Networking

Windows X Server, Run Linux and Unix on Windows Desktop. WinaXe is the pre-eminent X Windows environment for the Windows 95, 98, 2000, NT and Windows XP platforms. It enables easy access to different operating systems. It transparently connects different operating systems and their applications...

nfsAxe Windows NFS Client and NFS Server 3.6 LabF  Misc. Network

Windows NFS Client and Windows NFS Server. NFS software gives you high performance file sharing connectivity capabilities. nfsAxe enhances your networking performance and access nfsAxe NFS server can be installed on any Windows 95/98/ME/NT/2000/XP workstation to share your local drives and...

WinaXe Plus SSH X-Server for Windows 8.2 LabF  Remote Tools

SSH X-Server for Windows, Secure way to run Linux and Unix on Windows Desktop. WinaXe Plus is the pre-eminent X Windows environment for the Windows 95, 98, 2000, NT and XP platforms. It enables easy access to different operating systems. It transparently connects different operating systems and...

XLitePro X-server software for Windows 1.6 Labtam Inc.  Misc. Network

X-Server for windows XLitePro allows you to run UNIX (X-Windows) applications on your PC and is an inexpensive but powerful and effective way to transform a standard PC into a fully functional X-terminal. Included in the package are the X-Window System, TCP/IP. XLitePro provides full support for...

WinWAP for Windows 4.1 Winwap Technologies Oy  Internet

WinWAP for Windows let's you use WAP services on your Windows PC. The tabbed browser is a full mobile Internet browser that allows you to use the mobile Internet services you would use on your phone's built-in browser.The browser looks, feels and works like your regular web browser on your...

XConnectPro X-Server for Windows 3.9 Labtam Inc.  Remote Tools

X-Server for windows XConnectPro allows to run UNIX (X-Windows) applications on your PC and is an inexpensive but powerful and effective way to transform a standard PC into a fully functional X-terminal. Included in the package are the X-Window System, TCP/IP, FTP, TFTP, LPR, TELNET client server...

ACDSee Mobile for Windows CE 1 ACD Systems  Graphic Viewers

With ACDSee Mobile for Windows CE, the new Pocket PC shareware from ACD Systems, you can easily transfer photos from your desktop PC to any Pocket PC that has ACDSee Mobile for Windows CE.The ACDSee Mobile for Windows CE software gives you the power to view, browse, organize, edit and share...

InstallAware Studio for Windows Installer 16 InstallAware Software  Setup Utilities

Exclusive! Detect and Manage Setups on Virtual Machines Now InstallAware can check your target system and detect whether the operating system is running on a virtual machine, enabling to you fine tune your Windows Installer deployment targets. The Only Installer with Aero Glass Support Now with...

ASP windows registry editor 1 Pstruh Software  Misc. Dev. Tools

Complette COM interface to read/enumerate/modify windows registry keys and values from ASP/WSH/VBA/IE/VBS/JScript and T-SQL. Lets you work with remote registry and logon to user account with required access rights.


Similar Web Results of DOOP for Windows

Clearview Windows

Specializing in windows and doors.

O'Reilly Windows Center

Features Windows books, resources, news and articles.

Ada on Windows

AdaPower's Ada on Windows page.

JavaScript Windows demo by Mike Hall

This page demonstrate Mike Hall's API to create windows using the W3C DOM.

Microsoft Corp.: Windows

Official Windows product line root page.


Popular Software of Development - Misc. Dev. Tools

Virtual Serial Port Driver XP 4 ELTIMA Software GmbH  Misc. Dev. Tools

Virtual Serial Port Driver XP4 creates two pure virtual serial ports in your system which are virtually connected to each other. For other Windows applications, virtual ports will be seen exactly as two real serial ports connected via null-modem cable. You can select any port numbers for virtual...

ActivLicense Online v1.01 Ionworx Technology  Misc. Dev. Tools

ActivLicense Online is a professional and robust anti-piracy solution based on product activation technology designed to verify if your software products have been legitimately licensed, it's quick, easy and reliable, the activation can be done in few minutes via the Internet or by Telephone....

WinDriver 7 Jungo Ltd.  Misc. Dev. Tools

WinDriverâ„¢ for Windows automates and simplifies the development of user mode Windows device drivers for PCI / PCI Express/USB/ CardBus / ISA / PCMCIA/ PMC / PCI-X / PCI-104 and CompactPCI. No DDK knowledge or kernel level programming required. Including powerful tools for hardware...

Mobile DBViewer Plus for Nokia S60 3rd E 1.2 Cellica Software Services  Misc. Dev. Tools

View & Sync MS Access, Excel, Oracle, Foxpro, dBase, or any ODBC enabled database on Series 60 3rd Edition Smart phones like N72, N73, N70 , E50, E70 etc. Create new database on Smartphone. Add / Edit / Delete data is supported. View one record at a time or all at once.Use desktop side...

VISOCO dbExpress driver for Sybase ASE 2.3 VISOCO Software  Misc. Dev. Tools

VISOCO dbExpress driver for Sybase ASE is a dbExpress driver for Borland Delphi, Kylix, C++ Builder.VISOCO dbExpress driver for Sybase ASE provides direct access to Sybase ASE and allows you to avoid Borland Database Engine (BDE), ODBC, ADO.Key features:- High-performance - Native access to...

Virtual Serial Port Driver Mobile 4.0 Virtual Serial Port Software  Misc. Dev. Tools

Virtual Serial Ports Driver Mobile is a brand-new generation of an already popular driver for mobile devices released by Eltima more than a year ago.Now we bring a totally new level of serial emulation for SmartPhones based on the Windows Mobile platform!VSPD Mobile is capable of creating up to...

Advanced USB Port Monitor 2.0.1.5 AGG Software  Misc. Dev. Tools

Advanced USB Port Monitor is a USB Bus, USB Device and Protocol Analyzer. Advanced USB Port Monitor packs the robust functionality to capture, view and process USB traffic. It offers sophisticated viewing and intelligent searching to accurately and efficiently debug and test High (480Mbps), Full...

MixerPRO 1.2 xFX JumpStart  Misc. Dev. Tools

MixerPRO is a powerful library that provides access to the lines and controls of installed sound card.Control volume, mute states, recording sources, obtain information about the sound card's driver name, version, etcetera.

ER English to Bengali Dictionary 1.0 erdictionary.sourceforge.net  Misc. Dev. Tools

ER Dictionary ( English to Bengali Dictionary ) provides you digital dictionary based on English and Bengali word. This is based on Unicode. Before Using this you must install .NET 2.0. A download link is given with the package.

DownloadX ActiveX Download Control Free 1.0.1 DownloadXCtrl.com  Misc. Dev. Tools

DownloadX ActiveX Download Control is an ActiveX control used to download files from the Internet/Intranet. It can be used with any modern programming language (VB.NET, C#, C++, VB, Delphi, ASP, ASP.NET, PHP, Java...) and containers that support ActiveX controls. The DownloadX control is a unique...