Avalanche is open-source tool developed in ISPRAS with cooperation from Samsung. Avalanche uses Valgrind for collecting and analysis of program traces. Avalanche tryes to compute program input detecting program error or detecting program paths not executed before. As result Avalanche computes a lot of tests for covering program source by iterative dynamic analysis.
Speaker: Denis Sidorov. He’s graduated from Lomonosov Moscow State University (Computational Mathematics and Cybernatics faculty). Now he works in ISPRAS. He is leader of system programming department (program analysis group). Projects: Klocwork Insight (reverse-engineering, architectural and static analysis), Avalanche. Scientific interests are static and dynamic program analysis, automatic program defects detection, program transformations.
sdat-seminar