| ed0b09d | Christian Kaestner | 10 July 2013, 22:06:51 UTC | store __attribute__ specifiers in AST crosscutting change to store __attribute__ specifiers in AST that were previously discarded during parsing. Attempting to pretty print them as well. This is a wide ranging change, not well tested. Since attributes were previously not used it should not introduce new problems. | 10 July 2013, 22:06:51 UTC |
| ce3c062 | Christian Kaestner | 10 July 2013, 21:36:05 UTC | simplify frontend by removing casts an AST should always present a translation unit. introduced one cast to avoid many others | 10 July 2013, 21:36:05 UTC |
| e73b4ab | Christian Kaestner | 10 July 2013, 21:32:23 UTC | minor cleanup, remove dead private function | 10 July 2013, 21:32:23 UTC |
| 67b7dab | Christian Kaestner | 10 July 2013, 21:02:16 UTC | simplify the CAnalysis interface | 10 July 2013, 21:27:02 UTC |
| e2c417d | Christian Kästner | 10 July 2013, 21:01:06 UTC | Merge pull request #24 from ckaestne/canalysisoptions ICAnalysisOptions and InterCFG | 10 July 2013, 21:01:06 UTC |
| e8b7c6e | Jörg Liebig | 10 July 2013, 15:31:11 UTC | fix parsing of static analysis options X/x vs S/s | 10 July 2013, 15:31:11 UTC |
| 90921f6 | Jörg Liebig | 10 July 2013, 15:16:28 UTC | distuinguish between intraprocedural and interprocedural static analysis; restore InterCFG functionality from WriteCFG branch https://github.com/ckaestne/TypeChef/pull/22 | 10 July 2013, 15:16:28 UTC |
| 57a4afe | Jörg Liebig | 10 July 2013, 14:12:40 UTC | move options for enabling static analysis classes to own option interface | 10 July 2013, 14:12:40 UTC |
| 497f2e7 | Jörg Liebig | 10 July 2013, 14:12:14 UTC | update comments for double free analysis | 10 July 2013, 14:12:14 UTC |
| fcaa2c9 | Jörg Liebig | 10 July 2013, 13:11:44 UTC | upadte title for FSE 2013 paper | 10 July 2013, 13:11:44 UTC |
| 0c2e13a | Christian Kaestner | 09 July 2013, 19:02:45 UTC | update parameter list with genpages.sh | 09 July 2013, 19:02:45 UTC |
| eae5b6b | Christian Kaestner | 09 July 2013, 19:00:03 UTC | update FSE paper link | 09 July 2013, 19:00:03 UTC |
| 3786832 | Christian Kaestner | 06 July 2013, 20:52:58 UTC | distinguish between inline static and standard functions in cfg | 06 July 2013, 20:52:58 UTC |
| 0f11662 | Christian Kaestner | 05 July 2013, 22:37:14 UTC | increase timeout for test (failed on jenkins) | 05 July 2013, 22:37:14 UTC |
| 334414c | Christian Kaestner | 05 July 2013, 21:27:34 UTC | all WholeCFGAnalysis classes moved to separate project | 05 July 2013, 21:27:34 UTC |
| e582580 | Christian Kaestner | 05 July 2013, 20:46:34 UTC | Merge branch 'integervulnerabilities' Conflicts: CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/CBuiltIn.scala CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/CDeclTyping.scala CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/CExprTyping.scala CTypeChecker/src/test/scala/de/fosd/typechef/typesystem/DeclTypingTest.scala | 05 July 2013, 20:46:34 UTC |
| 8a8fbd9 | Christian Kaestner | 05 July 2013, 20:46:26 UTC | Merge branch 'integervulnerabilities' Conflicts: CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/CBuiltIn.scala CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/CDeclTyping.scala CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/CExprTyping.scala CTypeChecker/src/test/scala/de/fosd/typechef/typesystem/DeclTypingTest.scala | 05 July 2013, 20:46:26 UTC |
| 5cb84ce | Christian Kaestner | 05 July 2013, 20:24:44 UTC | Merge branch 'integervulnerabilities' Conflicts: CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/CBuiltIn.scala CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/CDeclTyping.scala CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/CExprTyping.scala CTypeChecker/src/test/scala/de/fosd/typechef/typesystem/DeclTypingTest.scala | 05 July 2013, 20:29:57 UTC |
| 8e42d07 | Christian Kaestner | 05 July 2013, 19:42:37 UTC | refined whole-project linker | 05 July 2013, 19:42:37 UTC |
| 63a7a3b | Christian Kaestner | 03 July 2013, 17:12:51 UTC | fix test (assumed invariant that does not hold -- node ids may change between loading and saving) | 03 July 2013, 17:12:51 UTC |
| 01b5f40 | Christian Kaestner | 03 July 2013, 14:43:12 UTC | bug fix: getLinkage did not observe context created false warnings in some corner cases (see test case) | 03 July 2013, 14:43:12 UTC |
| bccad52 | Christian Kaestner | 01 July 2013, 14:20:37 UTC | fix immutability and parsing of WholeProjectCFG framework | 01 July 2013, 14:21:06 UTC |
| 5ea6790 | Christian Kaestner | 19 June 2013, 18:38:38 UTC | update frontend Conflicts: CRewrite/src/main/scala/de/fosd/typechef/crewrite/DotGraph2.scala Frontend/src/main/scala/de/fosd/typechef/Frontend.scala Frontend/src/main/scala/de/fosd/typechef/options/FrontendOptions.java | 28 June 2013, 19:03:20 UTC |
| da446d8 | Christian Kaestner | 28 June 2013, 18:54:12 UTC | fixed serialization of CFG composition Conflicts: CRewrite/src/test/scala/de/fosd/typechef/crewrite/WholeProjectCFGTest.scala | 28 June 2013, 18:54:12 UTC |
| 3d1f8a2 | Christian Kaestner | 28 June 2013, 15:35:30 UTC | clean up frontend, remove critical bug redeclaring ast locally introduces a new variable and caused that any analysis after parsing is never executed unless the AST was cached | 28 June 2013, 15:35:30 UTC |
| 09875fc | Christian Kaestner | 25 June 2013, 21:34:19 UTC | Merge branch 'beforemerge' Conflicts: CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/CBuiltIn.scala CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/CExprTyping.scala | 25 June 2013, 21:34:19 UTC |
| e4ec38e | Christian Kaestner | 25 June 2013, 21:32:01 UTC | results of __real__ and __imag__ operations are assignable | 25 June 2013, 21:32:01 UTC |
| 417065b | snadi | 24 June 2013, 21:35:55 UTC | Test case for complex numbers | 25 June 2013, 21:27:03 UTC |
| 2f09b08 | snadi | 24 June 2013, 16:42:40 UTC | temporary hack for __real__ & __imag__ (causes some probs such as incorrect assignment with CIgnore() = CLongDouble() so still needs a real fix) Conflicts: CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/CExprTyping.scala | 25 June 2013, 21:26:41 UTC |
| f49f177 | snadi | 24 June 2013, 16:28:56 UTC | support __builtin_nanf Conflicts: CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/CBuiltIn.scala | 25 June 2013, 21:25:26 UTC |
| 1d70e55 | snadi | 24 June 2013, 16:42:40 UTC | temporary hack for __real__ & __imag__ (causes some probs such as incorrect assignment with CIgnore() = CLongDouble() so still needs a real fix) Conflicts: CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/CExprTyping.scala | 25 June 2013, 21:14:48 UTC |
| 6f01bef | snadi | 24 June 2013, 16:28:56 UTC | support __builtin_nanf Conflicts: CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/CBuiltIn.scala | 25 June 2013, 20:44:09 UTC |
| 76093d8 | Christian Kaestner | 25 June 2013, 20:40:30 UTC | Merge branch 'master' of github.com:ckaestne/TypeChef Conflicts: CParser/src/test/scala/de/fosd/typechef/parser/c/CParserTest.scala | 25 June 2013, 20:40:30 UTC |
| 74e4956 | Christian Kaestner | 25 June 2013, 20:39:53 UTC | add ignored test this is a problem with C90 vs C99. the test just documents the problem but does not attempt to address it | 25 June 2013, 20:39:53 UTC |
| 70e0c6e | Christian Kaestner | 21 June 2013, 14:03:56 UTC | fixed serialization of CFG composition | 21 June 2013, 14:03:56 UTC |
| d19ebbf | Jörg Liebig | 20 June 2013, 14:55:44 UTC | ignore IfdefToIfTest; many dependencies to external files that are not fulfilled => jenkins reports errors | 20 June 2013, 14:55:44 UTC |
| a15f370 | Jörg Liebig | 20 June 2013, 14:18:10 UTC | ClassTag -> ClassManifest for scala 2.9.x compatibility | 20 June 2013, 14:18:10 UTC |
| ba48346 | Jörg Liebig | 20 June 2013, 14:00:02 UTC | stopwatch serialize only, when option serialize enabled | 20 June 2013, 14:00:02 UTC |
| a33c2c4 | Jörg Liebig | 20 June 2013, 13:53:04 UTC | fixing errors in subproject Sampling after big merge | 20 June 2013, 13:53:37 UTC |
| db7308f | Jörg Liebig | 20 June 2013, 13:26:45 UTC | ClassTag -> ClassManifest for scala 2.9.x compatibility | 20 June 2013, 13:30:20 UTC |
| a4ffec5 | Jörg Liebig | 20 June 2013, 12:47:03 UTC | move ConditionalNavigation to CParser; should be in ConditionalLib, but ConditionalNavigation has dependencies to AST | 20 June 2013, 12:47:03 UTC |
| f3c9dd8 | Jörg Liebig | 20 June 2013, 12:34:19 UTC | move ASTNavigation from CRewrite to CParser | 20 June 2013, 12:34:19 UTC |
| 6760a9e | Jörg Liebig | 20 June 2013, 12:30:36 UTC | move EnforceTreeHelper from CRewrite to CParser; should belong there; delete second EnforceTreeHelper in CTypeSystem | 20 June 2013, 12:30:36 UTC |
| 68b34ba | Jörg Liebig | 20 June 2013, 12:07:39 UTC | fixing failing test | 20 June 2013, 12:07:39 UTC |
| 6f5b2f5 | Jörg Liebig | 20 June 2013, 12:00:42 UTC | merging master | 20 June 2013, 12:00:42 UTC |
| 55284c5 | Jörg Liebig | 20 June 2013, 10:47:38 UTC | merging defusecleanup | 20 June 2013, 10:47:38 UTC |
| 7d20065 | Jörg Liebig | 20 June 2013, 10:40:34 UTC | merging defusecleanup successful; had to ignore a couple of tests in DeclUseTest and IfdefToIfTest | 20 June 2013, 10:40:34 UTC |
| 92e68cc | Christian Kaestner | 19 June 2013, 18:59:51 UTC | Merge branch 'master' into WriteCFG | 19 June 2013, 18:59:51 UTC |
| 6c5e7a0 | Christian Kaestner | 19 June 2013, 18:59:01 UTC | fix previous patch: fix division/zero bug in lexer occurred only in dead #elif branch | 19 June 2013, 18:59:01 UTC |
| 1e4aa87 | Christian Kaestner | 19 June 2013, 18:38:38 UTC | update frontend | 19 June 2013, 18:38:38 UTC |
| 6c79a45 | Christian Kaestner | 19 June 2013, 18:04:47 UTC | Merge branch 'master' into WriteCFG Conflicts: CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/CExprTyping.scala | 19 June 2013, 18:11:15 UTC |
| 5021dec | Christian Kaestner | 19 June 2013, 17:50:00 UTC | fix division/zero bug in lexer occurred only in dead #elif branch | 19 June 2013, 17:50:00 UTC |
| 096fcd2 | aJanker | 19 June 2013, 17:44:31 UTC | RunExec | 19 June 2013, 17:44:31 UTC |
| c1be331 | aJanker | 19 June 2013, 17:41:32 UTC | RunExec | 19 June 2013, 17:41:32 UTC |
| 87f6b63 | aJanker | 19 June 2013, 17:39:59 UTC | RunExec | 19 June 2013, 17:39:59 UTC |
| 49346ab | aJanker | 19 June 2013, 17:38:33 UTC | RunExec | 19 June 2013, 17:38:33 UTC |
| ef5eb82 | aJanker | 19 June 2013, 17:33:50 UTC | RunExec | 19 June 2013, 17:33:50 UTC |
| e0aeed9 | aJanker | 19 June 2013, 17:29:51 UTC | RunExec | 19 June 2013, 17:29:51 UTC |
| 0336e7d | aJanker | 19 June 2013, 17:26:43 UTC | RunExec | 19 June 2013, 17:26:43 UTC |
| a9e52a7 | aJanker | 19 June 2013, 17:24:49 UTC | RunExec | 19 June 2013, 17:24:49 UTC |
| c80e9d7 | aJanker | 19 June 2013, 17:22:50 UTC | RunExec | 19 June 2013, 17:22:50 UTC |
| aac95ea | aJanker | 19 June 2013, 17:05:58 UTC | RunExec | 19 June 2013, 17:05:58 UTC |
| 51ac5e1 | aJanker | 19 June 2013, 17:04:13 UTC | RunExec | 19 June 2013, 17:04:13 UTC |
| ead0c28 | aJanker | 19 June 2013, 17:01:43 UTC | RunExec | 19 June 2013, 17:01:43 UTC |
| 725ec8a | aJanker | 19 June 2013, 16:59:18 UTC | Fixed PrettyPrinter defindedEx printout | 19 June 2013, 16:59:18 UTC |
| a20308d | aJanker | 19 June 2013, 16:56:19 UTC | Fixed PrettyPrinter defindedEx printout | 19 June 2013, 16:56:19 UTC |
| d6d0f3b | aJanker | 19 June 2013, 16:53:15 UTC | Fixed PrettyPrinter defindedEx printout | 19 June 2013, 16:53:15 UTC |
| e3287ea | Christian Kaestner | 19 June 2013, 16:34:59 UTC | based on STR04-C: issue warnings when assigning incorrectly between char types could be extended to issue warnings between all integer coercions | 19 June 2013, 16:34:59 UTC |
| 0efedf9 | ajanker | 19 June 2013, 16:22:03 UTC | Fixed PrettyPrinter defindedEx printout | 19 June 2013, 16:22:03 UTC |
| d907f54 | aJanker | 19 June 2013, 16:09:32 UTC | changed config generation | 19 June 2013, 16:09:32 UTC |
| f196953 | aJanker | 19 June 2013, 16:03:10 UTC | changed config generation | 19 June 2013, 16:03:10 UTC |
| 9546009 | aJanker | 19 June 2013, 15:58:56 UTC | changed config generation | 19 June 2013, 15:58:56 UTC |
| 34f8491 | aJanker | 19 June 2013, 15:52:05 UTC | changed config generation | 19 June 2013, 15:52:05 UTC |
| c26b26e | Christian Kaestner | 19 June 2013, 15:45:36 UTC | fix type comparison in linker checks | 19 June 2013, 15:45:36 UTC |
| 3f29837 | Christian Kaestner | 19 June 2013, 15:34:48 UTC | change CType equality now requires full equality, because previously Conditional[CType].simplify would merge things that were not supposed to be merged | 19 June 2013, 15:34:48 UTC |
| 4b8cb97 | aJanker | 19 June 2013, 15:24:55 UTC | changed config generation | 19 June 2013, 15:24:55 UTC |
| 47a340b | Christian Kaestner | 19 June 2013, 15:15:35 UTC | fix type serialization bug | 19 June 2013, 15:22:59 UTC |
| e0a2ec9 | aJanker | 19 June 2013, 15:19:50 UTC | changed config generation | 19 June 2013, 15:19:50 UTC |
| 028194d | ajanker | 19 June 2013, 15:19:32 UTC | changed config generation | 19 June 2013, 15:19:32 UTC |
| 7f434dd | aJanker | 19 June 2013, 15:12:56 UTC | changed config generation | 19 June 2013, 15:12:56 UTC |
| 12d4b8d | aJanker | 19 June 2013, 15:10:25 UTC | changed config generation | 19 June 2013, 15:10:25 UTC |
| 83fd810 | aJanker | 19 June 2013, 15:07:17 UTC | changed config generation | 19 June 2013, 15:07:17 UTC |
| a3a8fef | aJanker | 19 June 2013, 15:02:40 UTC | changed config generation | 19 June 2013, 15:02:40 UTC |
| a7ae2c8 | aJanker | 19 June 2013, 15:01:20 UTC | changed config generation | 19 June 2013, 15:01:20 UTC |
| 395530c | aJanker | 19 June 2013, 14:57:47 UTC | changed config generation | 19 June 2013, 14:57:47 UTC |
| 4b2f194 | ajanker | 19 June 2013, 14:55:34 UTC | changed config generation | 19 June 2013, 14:55:34 UTC |
| c20769b | Christian Kaestner | 19 June 2013, 14:38:15 UTC | completed EXP05-C checking of const in parameters | 19 June 2013, 14:38:15 UTC |
| 92f6906 | Christian Kaestner | 19 June 2013, 14:30:38 UTC | changed CFunction(...:AType) back to CFunction(...:CType) this way function parameters and return types have const/volatile modifiers that can be analyzed | 19 June 2013, 14:30:38 UTC |
| ca47bea | Christian Kaestner | 19 June 2013, 14:19:06 UTC | detecting const assignments (CERT EXP40-C/05-C) | 19 June 2013, 14:19:06 UTC |
| 4f923de | aJanker | 19 June 2013, 14:08:21 UTC | Improved Random Id Selection | 19 June 2013, 14:08:21 UTC |
| 4f5c2e5 | aJanker | 19 June 2013, 14:05:41 UTC | Improved Random Id Selection | 19 June 2013, 14:05:41 UTC |
| 53484f1 | aJanker | 19 June 2013, 14:03:25 UTC | Improved Random Id Selection | 19 June 2013, 14:03:25 UTC |
| f38fa78 | Jörg Liebig | 19 June 2013, 14:02:32 UTC | omit reaching definitions for now; it is difficult to implement with the current implementation of the monotone framework | 19 June 2013, 14:02:32 UTC |
| 09baf8a | aJanker | 19 June 2013, 13:57:45 UTC | Improved Random Id Selection | 19 June 2013, 13:57:45 UTC |
| ef81a15 | aJanker | 19 June 2013, 13:54:40 UTC | Improved Random Id Selection | 19 June 2013, 13:54:40 UTC |
| e9b2f13 | Christian Kaestner | 19 June 2013, 13:53:16 UTC | detecting volatile assignments (CERT EXP32-C) | 19 June 2013, 13:53:16 UTC |
| 5a355ac | aJanker | 19 June 2013, 13:53:07 UTC | Improved Random Id Selection | 19 June 2013, 13:53:07 UTC |
| 67015e7 | aJanker | 19 June 2013, 13:48:53 UTC | Improved Random Id Selection | 19 June 2013, 13:48:53 UTC |
| 260798e | aJanker | 19 June 2013, 13:44:26 UTC | Improved Random Id Selection | 19 June 2013, 13:44:26 UTC |
| 6ccc227 | aJanker | 19 June 2013, 13:42:06 UTC | Improved Random Id Selection | 19 June 2013, 13:42:06 UTC |
