Dibyendu Das

Projects

• UnreLyzer, A static interval analyzer for C like unreliable programs [code] [paper] Unrelyzer is a static analysis tool that analyzes a program defined by a subset of C (Mini-C) grammar with an addendum where each arithmetic, boolean and memory (Read/Write) operation in the program is probabilistic/unreliable in nature. This tool statically analyzes the program using Abstract Interpretation in the interval domain and determines the interval of values with a certain confidence for each program variable at each program point. This tool was built as part of my Master’s thesis.
• ProPFA, Probabilistic Path based Failure Analyzer [code] [paper] This automatic tool uses a path based failure analysis approach to estimate failure probability of C programs. It is designed as an integrated framework that takes as input a C program annotated with failure assertions, the discrete ranges and probability density functions of all independent input variables. It estimates success probability of each execution path of a program separately and returns failure probability of the whole program along with a measure of confidence on the paths explored within a defined time and memory bound.