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
Showing posts with label propagation. Show all posts

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

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