Processor with hardware supported memory buffer overflow detection
US-11868774-B2 · Jan 9, 2024 · US
Method, system, and computer program for analyzing program
US8990545B2 · US · B2
| Field | Value |
|---|---|
| Publication number | US-8990545-B2 |
| Application number | US-201113332436-A |
| Country | US |
| Kind code | B2 |
| Filing date | Dec 21, 2011 |
| Priority date | Dec 27, 2010 |
| Publication date | Mar 24, 2015 |
| Grant date | Mar 24, 2015 |
How to read this patent
A practical reading order for non-experts. Skip the full description unless you need deep technical detail.
- Title
What the patent document calls the invention.
- Abstract
A short plain-language summary of the technical disclosure.
- Assignees and inventors
Who owns or filed the patent and who is credited as inventor.
- Key dates
Filing, priority, publication, and grant dates set the timeline.
- First independent claim
The legal scope of protection — read this for what is actually claimed.
- CPC / IPC classifications
Technology tags used to group this patent with similar filings.
- Citations and related patents
Prior art links and similar publications in this corpus.
Abstract
Official abstract text for this publication.
This is a program analysis technique using a branch history table (BHT). Upon start of a program, a plurality of flags, each corresponding to an instruction of the program, are initialized to a disabled state and an initial state of a BHT is stored. Upon execution of a branch instruction, if a branch has not been taken, a value of history information of a corresponding entry of the BHT is decremented. If the branch has been taken, the value of the history information of the corresponding entry is incremented and whether a corresponding flag is enabled or disabled is determined. If the corresponding flag is disabled, the flag is enabled. Upon termination of the program, a differential history information value of each entry is obtained from the stored initial state and a final state of the BHT. A final state of each flag is obtained.
First claim
Opening claim text (preview).
What is claimed is: 1. A method for analyzing a program, the method comprising the steps, executed by a processor, of: initializing, upon start of the program, a plurality of flags included in a first table to a disabled state, each of the plurality of flags corresponding to an instruction of the program; storing, upon start of the program, an initial state of a second table that includes a plurality of entries each corresponding to an instruction of the program and that holds h…
Assignees
Inventors
Classifications
Physics · mapped topic
Physics · mapped topic
Physics · mapped topic
Physics · mapped topic
- G06F9/3806Primary
Physics · mapped topic
Patent family
Related publications grouped by family.
External sources
Next steps
Free tools are coming soon. Tell us what you want to track and we'll notify you.
Frequently asked questions
Answers are generated from the same data shown on this page.
- What does patent US8990545B2 cover?
- This is a program analysis technique using a branch history table (BHT). Upon start of a program, a plurality of flags, each corresponding to an instruction of the program, are initialized to a disabled state and an initial state of a BHT is stored. Upon execution of a branch instruction, if a branch has not been taken, a value of history information of a corresponding entry of the BHT is decre…
- Who is the assignee on this patent?
- Nakamura Kenta, IBM
- What technology area does this patent fall under?
- Primary CPC classification G06F9/3806. Mapped technology areas include Physics.
- When was this patent published?
- Publication date Tue Mar 24 2015 00:00:00 GMT+0000 (Coordinated Universal Time) (B2). Legal status and post-grant events are not shown on this page.
- What related patents are in patentsdb?
- We list 8 related publications on this page (citations in our corpus or others sharing the same primary CPC).