17581766. SYSTEMS AND METHODS FOR VERIFYING PROGRAM STATES simplified abstract (SAMSUNG ELECTRONICS CO., LTD.)

From WikiPatents
Jump to navigation Jump to search

SYSTEMS AND METHODS FOR VERIFYING PROGRAM STATES

Organization Name

SAMSUNG ELECTRONICS CO., LTD.

Inventor(s)

Caroline D. Kahn of San Jose CA (US)

SYSTEMS AND METHODS FOR VERIFYING PROGRAM STATES - A simplified explanation of the abstract

This abstract first appeared for US patent application 17581766 titled 'SYSTEMS AND METHODS FOR VERIFYING PROGRAM STATES

Simplified Explanation

The patent application describes systems and methods for checking program code. Here are the key points:

  • The method involves executing a first check of the program code and making a determination about the first check.
  • Metadata is stored based on the determination made in the first check.
  • A second check of the program code is run using the stored metadata, and the result of the second check is stored in memory.
  • The program code is then executed based on the second check.

Potential applications of this technology:

  • Software development: This technology can be used during the development process to ensure the correctness and reliability of program code.
  • Quality assurance: It can be employed in quality assurance processes to identify and fix any issues or bugs in the program code.
  • Security analysis: The method can be used to check program code for potential security vulnerabilities and ensure the code is secure.

Problems solved by this technology:

  • Error detection: The method helps in identifying errors or bugs in program code, allowing developers to fix them before deployment.
  • Efficiency improvement: By running a simulation of the check before executing the actual check, the method saves time and resources.
  • Code reliability: The second check based on stored metadata helps ensure the program code is reliable and performs as intended.

Benefits of this technology:

  • Improved code quality: By running multiple checks and storing metadata, the method helps in improving the overall quality of program code.
  • Time and resource savings: The simulation-based approach saves time and resources by avoiding the need for repeated checks.
  • Enhanced security: By checking for vulnerabilities, the method helps in enhancing the security of program code.


Original Abstract Submitted

Systems and methods for checking program code are disclosed. The method includes executing a first check of the program code, and making a first determination about the first check. Metadata is stored based on making the first determination. A second check of the program code is run based on the metadata, and a result of the second check is stored in memory. The program code is executed based on the second check. In some embodiments, the method for checking program code includes running a simulation of a check of the program code by a processing device; storing a result of the simulation in memory; executing the check of the program code outside of the simulation; making a determination about the check outside of the simulation; retrieving a result stored in the memory based on the determination; and executing the program code based on the check.

Retrieved from "http://wikipatents.org/index.php?title=17581766._SYSTEMS_AND_METHODS_FOR_VERIFYING_PROGRAM_STATES_simplified_abstract_(SAMSUNG_ELECTRONICS_CO.,_LTD.)&oldid=25514"