Patent
Continuous evaluation of program code and saving state information associated with program code
Joseph R. Bienkowski,John E. Booker +1 more
- 28 Sep 2012
17
TL;DR: In this paper, a device receives a program code being created or edited, executes a first portion of the program code to generate a first result, and then executes a second portion of code to determine a difference between the first result and the second result.
read more
Abstract: A device receives a program code being created or edited, executes a first portion of the program code to generate a first result, and executes a second portion of the program code to generate a second result. The device stores the first result and the second result, and compares the first result and the second result to determine a difference between the first result and the second result. The device utilizes the difference to identify an error in the program code, and provides information, associated with the difference and the error, for display.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Patent
Electromechanical cylinder lock with key override
Kaiser Yitzhak
- 30 Apr 2014
TL;DR: A cylinder lock (10) as discussed by the authors is a cylinder lock body with a cam, an actuator and a manual element for operating the cam, and a coupler for engaging the manual element with the clutch.
14
Patent
Touch-based interactive learning environment
Timothy V. Isted,Behzad Aghaei,Maxwell O. Drukman,Sonny Falk,Matthew M. Patenaude,Maxwell S. Swadling,Connor M. Wakamo +6 more
- 03 Jun 2016
TL;DR: In this paper, a user interface is presented by a device on a touch sensitive surface of the device, and the user receives a first touch input selecting a numeral presented in the user interface.
11
Patent
Tentative program code in an editor
Adam Leon,Joseph R. Bienkowski,Bryan T. White,Joseph F. Hicklin +3 more
- 10 Apr 2015
TL;DR: In this article, a tentative code editor user interface that includes an editor portion, a helper portion, and an evaluation portion is presented. But, the editor portion is associated with manipulating the portion of primary program code and the helper portion may display the helper program code.
8
Patent
Validation of layer 2 interface and VLAN in a networked environment
Sanchay Harneja,Ramadoss Venkatesan +1 more
- 28 Jul 2017
TL;DR: In this article, the authors present systems, methods, and computer-readable media for assuring tenant forwarding in a network environment, which can be performed using logical configurations, software configurations and/or hardware configurations.
7
Patent
Network validation between the logical level and the hardware level of a network
Sanchay Harneja,Ayas Pani +1 more
- 28 Jul 2017
TL;DR: In this article, the authors present systems, methods, and computer-readable media for assuring tenant forwarding in a network environment, which can be performed using logical configurations, software configurations and/or hardware configurations.
7
References
Patent
Software self-defense systems and methods
James J. Horning,W. Olin Sibert,Robert E. Tarjan,Umesh Maheshwari,William G. Horne,Andrew K. Wright,Lesley R. Matheson,Susan S. Owicki +7 more
- 07 Apr 2005
TL;DR: In this paper, the authors describe obfuscation, tamper-resistance, and watermarking techniques for protecting a computer program from unauthorized analysis and modification. But they do not discuss how to detect tampering.
617
Patent
System and method for monitoring and analyzing the execution of computer programs
Shlomo Wygodny,Dmitry Barboy,Georgi Prouss,Anatoly Vorobey +3 more
- 30 Jul 1998
TL;DR: In this paper, a software system is disclosed which facilitates the process of tracing the execution paths of a program, called the client, without requiring modifications to the executable or source code files of the client.
393
Patent
System and method for conditional tracing of computer programs
Shlomo Wygodny,Valery Golender,Ido Ben-Moshe,Vladimir Andreev +3 more
- 24 Jan 2002
TL;DR: In this article, a software system is disclosed which facilitates the process of tracing the execution paths of a program, called the client, without requiring modifications to the executable or source code files of the client.
313
Testing static analysis tools using exploitable buffer overflows from open source code
Misha Zitser,Richard P. Lippmann,Tim Leek +2 more
- 31 Oct 2004
TL;DR: Five modern static analysis tools (ARCHER, BOON, Poly-Space C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnerabilities found in various versions of Sendmail, BIND, and WU-FTPD.
Patent
Method and system for classification of software using characteristics and combinations of such characteristics
Robert J. Poston
- 30 Mar 2009
TL;DR: In this article, the authors described improved capabilities for the steps of identifying a functional code block that performs a particular function within executable code, transforming it into a generic code representation of its functionality by tokenizing, refactoring, or the like.
252
Related Papers (5)
Jason Souloglou,Alasdair Rawsthorne +1 more
- 06 Apr 2001
Kim Taisong,Hong-seok Kim,Baek Chang-Woo +2 more
- 02 Sep 2009