summaryrefslogtreecommitdiff
path: root/test/Analysis/std-c-library-functions.c
AgeCommit message (Expand)Author
2017-07-12Revert "[analyzer] Support generating and reasoning over more symbolic constr...Dominic Chen
2017-07-12[analyzer] Support generating and reasoning over more symbolic constraint typesDominic Chen
2017-03-03Reland 4: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen
2017-03-02Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen
2017-03-02Reland 3: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen
2017-03-02Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen
2017-03-02Reland 2: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen
2017-02-28Revert "Reland: [analyzer] NFC: Update test infrastructure to support multipl...Dominic Chen
2017-02-28Reland: [analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen
2017-02-27Revert "[analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen
2017-02-27[analyzer] NFC: Update test infrastructure to support multiple constraint man...Dominic Chen
2016-11-02[analyzer] StdLibraryFunctions: provide platform-specific function summaries.Artem Dergachev
2016-10-24[analyzer] Fix an ARM buildbot after r284960.Artem Dergachev
2016-10-24[analyzer] Add StdLibraryFunctions checker.Artem Dergachev