Software Generalist

Facts are actual states of affairs, worldly correlates to true propositions that make them true. (*) Suppose that a piece of code that you are reviewing contains a security flaw like a local buffer overrun. Is this security defect factual? According to the definition of a fact it is not. The proposition about buffer overrun can be true from a reviewer’s logic but could never happen in reality. This is further complicated by a potential simulability of that piece of code that might predict all possible facts about its execution on some machine.

(*) The Oxford Companion to Philosophy, 2nd edition, p. 287 

- Dmitry Vostokov @ SoftwareGeneralist.com -

           

Announcements

Coming Soon:

Management Bits: An Anthology from Reductionist Manager

Crash Dump Analysis: Practical Foundations (Windows Edition, Systematic Software Fault Analysis Series)

Debugging Notebook: Essential Concepts, WinDbg Commands and Tools

Crash Dump Analysis for System Administrators and Support Engineers

New Magazines:

Debugged! MZ/PE: MagaZine for/from Practicing Engineers

New Books:

Memory Dump Analysis Anthology: Color Supplement for Volumes 1-3

Memory Dump Analysis Anthology, Volume 3

First Fault Software Problem Solving: A Guide for Engineers, Managers and Users

x64 Windows Debugging: Practical Foundations

Also available:

Windows Debugging: Practical Foundations

DLL List Landscape: The Art from Computer Memory Space

Dumps, Bugs and Debugging Forensics: The Adventures of Dr. Debugalov

WinDbg: A Reference Poster and Learning Cards

Memory Dump Analysis Anthology, Volume 2

Memory Dump Analysis Anthology, Volume 1

New Children's Book:

Baby Turing

This entry was posted on Wednesday, January 14th, 2009 at 11:46 pm and is filed under Reading Notebook, Software and Philosophy. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.