5 Commits

Author	SHA1	Message	Date
Chris Smowton	e3cf5c235e	Add support for Commons-Lang's RandomUtils ... This is realised by somewhat generalising our interfaces for modelling RNGs. We also add tests for randomness-related queries that didn't have any, and addtest cases checking the Apache random-number generators are interchangeable with the stdlib ones.	2021-03-05 12:09:33 +00:00
Anders Schack-Mulligen	8cbc01d49b	Java: Add a few qltest cases for nullness and range analysis FPs.	2020-05-20 10:44:15 +02:00
Anders Schack-Mulligen	3d81328c41	Java: Improve array length bounds on array phi nodes that may be null.	2018-10-26 11:18:31 +02:00
Anders Schack-Mulligen	5c53249612	Java: Add ModulusAnalysis.	2018-10-11 11:26:17 +02:00
Anders Schack-Mulligen	a78a0b52ec	Java: Add test.	2018-10-11 11:26:17 +02:00