Learn More
—Shape analysis is a static pointer analysis technique that models heap-allocated data structures in greater detail than the typical pointer analysis does. To a compiler, this information is crucial for deciding wether two expressions refer to the same memory location, as a great number of analyses depend on this aliasing information. Various shape analyses(More)
Embedded systems often have to operate under rigid power and performance constraints. Off-the-shelf processors often cannot meet those requirements, instead Application-Specific Instruction Processors (ASIP) are used that are tuned for the particular system at hand. Apopular and powerful wayofmodeling ASIPs is the use of a Processor Description Language(More)
This report compares two opposing client/server approaches with a focus on implementing a database application. Two clients have been implemented in order to gain first-hand experience in developing a fat client and a web-based thin client. After briefly describing the database, the report concentrates on the merits and demerits of the two clients from a(More)
— Shape analysis is a static program analysis technique for discovering properties of heap-allocated data structures. It is crucial to finding software bugs or to verify high-level correctness properties. Various analyses have been introduced but their relation in terms of precision often remains unclear as different analyses use different abstractions of(More)
  • 1