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 |
|