Skip to main content

Debug/optimize/secure

Latest Innovations
A Systematic Approach to Uncover Security Flaws in GUI Logic Website spoofing, or phishing, is a serious problem targeting online user information. It can be used to steal usernames and passwords from important websites such... Read More Website spoofing, or phishing, is a serious problem targeting online user information. It can be used to steal usernames and passwords from important websites such as bank websites. Dr. Meseguer from the University of Illinois, jointly with Microsoft Research, developed a method for uncovering GUI logic flaws in software implementations. The systems specifically address status-bar spoofing and address bar spoofing scenarios but could also address a variety of other classes of problems.
A Novel Breakpoint Implementation Scheme for Debugging Optimized Code The invention is a method for debugging a machine code of a program that has been subjected to an optimizing action, wherein the machine code may have been... Read More The invention is a method for debugging a machine code of a program that has been subjected to an optimizing action, wherein the machine code may have been reordered, duplicated, eliminated or transformed so as not to correspond with the program's source code order. The method derives a table which associates each machine code instruction with a source construct for which it was generated. The user sets a breakpoint at a breakpoint P in the source code where execution is to stop. Then the method determines at least one corresponding location for the breakpoint in the machine code through use of the table, and executes by native execution or emulation only machine code instructions which correspond to source constructs that precede the breakpoint in the source code order. The method further enables a comparison of the results of two passes of emulation (in different orders) to detect a class of bugs that are particularly hard to find: bugs caused by optimizer errors and user bugs that manifest themselves only in the optimized executable.
iWatcher: Simple and General Architectural Support for Software Debugging Methods and systems for memory monitoring. A triggering access is detected at one or more monitored memory regions. When a triggering access is detected, a... Read More Methods and systems for memory monitoring. A triggering access is detected at one or more monitored memory regions. When a triggering access is detected, a function is accessed for determining a monitoring function, and a monitoring function associated with a particular triggered memory location address is automatically determined.
Intelligent Knowledge Analysis, Synthesis, Management, Acquisition, and Actioning System in the Context of VIAS Under CMS A method and system for augmenting a corpus with documents on concepts not sufficiently covered within the corpus is provided. The augmentation system... Read More A method and system for augmenting a corpus with documents on concepts not sufficiently covered within the corpus is provided. The augmentation system generates a corpus concept graph from the documents of a corpus. A corpus concept graph represents concepts of the documents as nodes and related concepts as links between nodes. To generate a corpus concept graph, the augmentation system identifies the concepts that are related within each document of the corpus and adds nodes and links to the corpus concept graph for related concepts. The augmentation system analyzes the corpus concept graph to determine whether the relatedness of concepts of the documents of the corpus is sufficient. If the relatedness of a pair of concepts is not sufficient, then the augmentation system attempts to identify documents not already in the corpus that are related to the concepts that are not sufficiently related.
MiddlePolice: DDoS Prevention Software Professor Yih-Chun Hu from the University of Illinois has developed software that can protect networks against Internet attacks. In particular, it greatly reduces DDos... Read More Professor Yih-Chun Hu from the University of Illinois has developed software that can protect networks against Internet attacks. In particular, it greatly reduces DDos attacks, which plague the Internet. This new software could be used for personalized Internet security. MiddlePolice combines high protection of capability systems with the facile development of cloud-based services.
Application Level Hardware Tracing for Scaling Post-Silicon Debug Dr. Vasudevan from the University of IL has developed an advanced algorithm for optimizing design-for-debug hardware. This algorithm takes advantage of high level... Read More Dr. Vasudevan from the University of IL has developed an advanced algorithm for optimizing design-for-debug hardware. This algorithm takes advantage of high level abstraction to enable accurate bug localization, eliminating almost 90% of possible root causes in tests using an industrial SoC. This technology, which is broadly scalable versus existing methods, addresses a great need in the field of Electronic Design Automation by decreasing the cost and shortening the timescale of chip debugging, accelerating time-to-market and streamlining the post-silicon validation phase. Application: Incorporation into chip design and verification software Publication: Pal, D.; Sharma, A.; Ray, S.; de Paula, F. M.; and Vasudevan, S. In Proceedings of the 55th Annual Design Automation Conference, DAC 2018, San Francisco, CA, USA, June 24-29, 2018, pages 92:1–92:6, 2018.