Eat Sleep Learn Repeat

Menu
  • Home
  • Program Analysis
    • Faint Variable
    • Taint Analysis
    • Assertions
    • Reaching Definition
    • Constant Propagation
    • Control Flow Graph
    • Infamous Bugs
    • Fault Localization
  • Compiler
    • Memory Reordering
    • AT&T Vs Intel
    • Inline Assembly
    • Binary Analysis
  • Concepts
    • Data Races
    • Cache
    • Strings
    • Partial Order
    • First Order Logic
    • Complexity Classes
    • ACID Properties
    • Soundness and Completeness
  • Tools
    • Netbeans
    • ChatGPT and jobs
  • Reductions
    • 3-CNF to K-CNF
  • Ubuntu
    • PDF Bookmarks
    • Alternate GCC
  • About this website
    • About Us
    • Contact Us
    • Privacy Policy

Faint Variable Analysis

September 18, 2017 Add Comment
When optimizing your code, you may want to remove the code that will never be executed in your program no mater what input the program tak...
Read More

Constant Propagation Analysis

August 30, 2017 Add Comment
If you love to explore your code and you have ever seen the assembly for you C or C++ code, a code sample like: int a=2; int y=a; ...
Read More
Reaching Definition Analysis

Reaching Definition Analysis

July 29, 2017 Add Comment
While debugging a program, determining the possible values of a variable can be very helpful. Reaching definition analysis can be leveraged...
Read More

Control Flow Graph

June 22, 2017 Add Comment
A program while executing may choose one of the many paths depending on the input or inputs provided. A control flow graph is a pictoria...
Read More

Analyzing Taint Propagation (Taint Analysis)

May 03, 2017 Add Comment
Inputs from any external sources to a program cannot be trusted by the developers as can be a reason for inconsistent behavior or failur...
Read More
Subscribe to: Posts (Atom)

Popular Posts

  • AT&T vs Intel Assembly
  • How to Insert Assembly Instruction in CPP programs?
  • Reaching Definition Analysis
  • Faint Variable Analysis
  • 5 Simple Software Bugs That Have Caused Major Losses
  • Data Races with Example
  • Memory Hierarchy: Registers and Cache Memory
  • Relax Memory Model and Instruction Reordering

Report Abuse

Search

  • Contact Me
  • Privacy Policy
Copyright © 2016 Eat Sleep Learn Repeat | Template By HAFID Notes | Distributed By Blogger Templates