Back to Results
First PageMeta Content
Compiler construction / Control flow graph / Data-flow analysis


SMT-based False Positive Elimination in Static Program Analysis Maximilian Junker1 , Ralf Huuck2 , Ansgar Fehnker2 , Alexander Knapp3 1 2
Add to Reading List

Document Date: 2013-01-01 18:04:17

Open Document

File Size: 356,23 KB

Share Result on Facebook

City

Munich / Augsburg / /

Country

Australia / Germany / /

/

Facility

University of New South Wales / /

IndustryTerm

static analysis tool / exponential algorithm / increased computing power / software model checking / large software projects developers / synchronous product / software tools / /

Organization

University of New South Wales / Sydney / /

Position

observer for each path / model / which can often be costly / /

ProgrammingLanguage

R / C / C++ / /

ProvinceOrState

New South Wales / /

Region

South Wales / /

Technology

exponential algorithm / simulation / /

SocialTag