1. A method for statically detecting a datarace in a multithreaded application, said method comprising: inputting a set of input information; processing the set of input information; and outputting a statement conflict set that identifies the statement pairs whose execution instances definitely or potentially cause dataraces, without executing the multithreaded application.