14067 Commits

Author SHA1 Message Date
Anders Schack-Mulligen
11279d4c83 Java: Autoformat Overflow.qll and add comment about imprecise float. 2018-10-12 13:40:32 +02:00
Anders Schack-Mulligen
0f5a3d3bb7 Java: Adjust comment style. 2018-10-12 13:40:32 +02:00
Anders Schack-Mulligen
2f0b983335 Java: Autoformat most of semmle.code.java. 2018-10-12 13:40:32 +02:00
Anders Schack-Mulligen
bc7ea93608 Java: Adjust some comment positions and break some lines. 2018-10-12 13:40:32 +02:00
Anders Schack-Mulligen
5502db4c74 Java: Autoformat most of semmle.code.java.dataflow. 2018-10-12 13:40:32 +02:00
Anders Schack-Mulligen
f341aa79a3 Java/C: Sync dataflow copies. 2018-10-12 13:40:32 +02:00
Anders Schack-Mulligen
3cdcbf0129 Java: Autoformat DataFlowImpl.qll and DataFlowImplCommon.qll. 2018-10-12 13:40:32 +02:00
Anders Schack-Mulligen
815c245f44 Java: Adjust comment style. 2018-10-12 13:40:32 +02:00
Anders Schack-Mulligen
bf63139c16 Java: Autoformat semmle.code.java.controlflow. 2018-10-12 13:40:32 +02:00
Anders Schack-Mulligen
291fb11c48 Java: Autoformat semmle.code.java.dispatch. 2018-10-12 13:40:32 +02:00
Anders Schack-Mulligen
89828b8284 Java: Autoformat semmle.code.java.metrics. 2018-10-12 13:40:32 +02:00
Anders Schack-Mulligen
9ebc294ee2 Java: Adjust comment style. 2018-10-12 13:40:32 +02:00
Anders Schack-Mulligen
f3d65c0ef9 Java: Autoformat semmle.code.java.deadcode. 2018-10-12 13:40:32 +02:00
Anders Schack-Mulligen
9009a50227 Java: Adjust comment style. 2018-10-12 13:40:32 +02:00
Anders Schack-Mulligen
e781990960 Java: Autoformat semmle.code.java.security. 2018-10-12 13:40:32 +02:00
Anders Schack-Mulligen
c6c6e4319d Java: Undo autoformat bug. 2018-10-12 13:40:32 +02:00
Anders Schack-Mulligen
ade293407b Java: Adjust comment style. 2018-10-12 13:40:32 +02:00
Anders Schack-Mulligen
24f30999a4 Java: Autoformat semmle.code.java.frameworks. 2018-10-12 13:40:32 +02:00
Anders Schack-Mulligen
482733569a Java: Adjust comment style. 2018-10-12 13:40:32 +02:00
Anders Schack-Mulligen
67d1c72e64 Java: Autoformat libs outside semmle.code.java. 2018-10-12 13:40:32 +02:00
Anders Schack-Mulligen
03c80c18d6 Java: Update location in .expected file. 2018-10-12 10:08:24 +02:00
semmle-qlci
44fd18c4a9 Merge pull request #309 from aschackmull/java/fix-some-lib-qldoc
Approved by yh-semmle
2018-10-11 21:35:33 +01:00
Tom Hvitved
b29b314f4e Merge remote-tracking branch 'upstream/master' into mergeback-2018-10-11 2018-10-11 14:36:44 +02:00
Anders Schack-Mulligen
73f1beecfd Java: Fix likely bug in ExposeRepresentation and re-autoformat. 2018-10-11 11:31:38 +02:00
Anders Schack-Mulligen
6a8a27201e Java: Autoformat ExposeRepresentation, revealing likely bug. 2018-10-11 11:31:38 +02:00
Anders Schack-Mulligen
236c79b561 Java: Adjust comment position and re-autoformat. 2018-10-11 11:31:38 +02:00
Anders Schack-Mulligen
c16f0df823 Java: Autoformat 1. 2018-10-11 11:31:38 +02:00
Anders Schack-Mulligen
e291b5ec2b Java: Break line and re-autoformat. 2018-10-11 11:31:38 +02:00
Anders Schack-Mulligen
62e942bb8b Java: Autoformat 1. 2018-10-11 11:31:38 +02:00
Anders Schack-Mulligen
62ef811169 Java: Autoformat. 2018-10-11 11:31:38 +02:00
Anders Schack-Mulligen
766b07ba59 Java: Adjust comment style. 2018-10-11 11:31:38 +02:00
Anders Schack-Mulligen
dd5a8f0c14 Java: Autoformat most queries. 2018-10-11 11:31:37 +02:00
Anders Schack-Mulligen
ca8ca55828 Java: Deprecate ParityAnalysis. 2018-10-11 11:26:17 +02:00
Anders Schack-Mulligen
5c53249612 Java: Add ModulusAnalysis. 2018-10-11 11:26:17 +02:00
Anders Schack-Mulligen
e7b0d399d1 Java: Refactor parts of RangeAnalysis needed for ModulusAnalysis. 2018-10-11 11:26:17 +02:00
Anders Schack-Mulligen
a78a0b52ec Java: Add test. 2018-10-11 11:26:17 +02:00
Anders Schack-Mulligen
8659bedbd9 Java: Extract Bound class to its own file. 2018-10-11 11:26:17 +02:00
Anders Schack-Mulligen
6dfbb72fc8 Java: Add constant array lengths to ConstantIntegerExpr. 2018-10-11 11:26:16 +02:00
Anders Schack-Mulligen
fc359b75d3 Java: Add qldoc to a few libraries. 2018-10-11 11:05:39 +02:00
yh-semmle
26b630f700 Java: clarify help for java/unreachable-catch-clause 2018-10-09 21:15:51 -04:00
yh-semmle
001b9f8b56 Java: account for generic exceptions in java/unreachable-catch-clause 2018-10-09 21:15:45 -04:00
yh-semmle
7962530789 Java: add .project file in test directory 2018-10-08 20:25:43 -04:00
Tom Hvitved
49644bfb47 Merge remote-tracking branch 'upstream/master' into mergeback-2018-10-08 2018-10-08 11:48:56 +02:00
semmle-qlci
03f2d8f605 Merge pull request #247 from aschackmull/java/dispatchflow-typepruning
Approved by yh-semmle
2018-10-04 18:22:44 +01:00
Anders Schack-Mulligen
1c2807e5e7 Java: Add missing private annotations. 2018-10-04 17:33:10 +02:00
Aditya Sharad
337defdf3d Merge master into next. 2018-10-01 17:39:27 +01:00
Aditya Sharad
0882eb7bb3 Merge rc/1.18 into master. 2018-10-01 12:08:16 +01:00
Aditya Sharad
1c71a856e1 Version: Bump to 1.18.1 dev. 2018-09-28 16:39:44 +01:00
Anders Schack-Mulligen
839168570e Java: Reorder predicates. 2018-09-28 14:25:11 +02:00
Anders Schack-Mulligen
34fdfe47ca Java: Prune nodes in DispatchFlow based on their types. 2018-09-28 14:21:04 +02:00