9 Commits

Author	SHA1	Message	Date
Chris Smowton	db39c0b8be	CharacterLiteral.getCodePointValue: fix handling of surrogates	2021-11-25 14:07:21 +00:00
yo-h	e194411cfa	Java: fix javac errors in test code	2021-02-09 09:16:57 -05:00
Anders Schack-Mulligen	81a90943c0	Java: Fix range analysis bug where int was assumed.	2019-11-15 15:08:14 +01:00
yh-semmle	429c307832	Merge pull request #2304 from aschackmull/java/rangeanalysis-integral-fix ... Java: Fix range analysis bug in integral inequality bounds.	2019-11-12 16:33:12 -05:00
Anders Schack-Mulligen	7619275c8b	Java: Fix range analysis bug in integral inequality bounds.	2019-11-12 17:28:40 +01:00
Anders Schack-Mulligen	8cd6b51763	Java: Add ConditionalExpr to overflow candidate pattern.	2019-11-12 17:27:18 +01:00
Anders Schack-Mulligen	066a2f0d12	Java: Add another overflow check pattern to UselessComparisonTest.	2019-10-04 15:04:40 +02:00
Anders Schack-Mulligen	6f11849fef	Java: Add test.	2018-10-19 15:02:52 +02:00
Pavel Avgustinov	846c9d5860	Migrate Java code to separate QL repo.	2018-08-30 10:48:05 +01:00