PKEuS 9dd4ac68c0 Refactorization in CheckNullPointer:
- Use AST to detect dereferences
- Added more unit tests
- Removed handling of unknown constructs in CheckNullPointer::isPointerDeRef()

Added link to verbose message cstyleCast.
2014-05-22 19:48:00 +02:00
..
2014-03-14 15:56:40 +01:00
2014-02-15 07:45:39 +01:00
2014-04-13 13:35:15 +02:00
2014-02-16 10:32:10 +01:00
2014-02-15 07:45:39 +01:00
2014-02-15 07:45:39 +01:00
2014-02-15 07:45:39 +01:00
2014-02-15 07:45:39 +01:00
2014-02-15 07:45:39 +01:00
2014-02-15 07:45:39 +01:00
2014-02-15 07:45:39 +01:00
2014-05-21 13:45:36 +02:00
2014-02-15 07:45:39 +01:00
2014-02-15 07:45:39 +01:00
2014-02-15 07:45:39 +01:00
2014-02-15 07:45:39 +01:00
2014-02-15 07:45:39 +01:00
2014-02-15 07:45:39 +01:00
2014-02-15 07:45:39 +01:00
2014-02-15 07:45:39 +01:00
2014-04-27 21:42:10 +02:00
2014-02-15 07:45:39 +01:00
2014-04-27 21:42:10 +02:00
2014-02-15 07:45:39 +01:00
2014-02-15 07:45:39 +01:00
2014-02-15 07:45:39 +01:00
2014-03-09 17:54:49 +01:00
2012-10-14 10:21:22 +02:00