Owen Mansel-Chan
e0b61b2d68
Reduce the number of UpperBoundChecks
...
No need to have a separate class for each state
being blocked.
2023-09-28 11:00:43 +01:00
Owen Mansel-Chan
c0b579c49f
Improve tests
2023-09-28 11:00:41 +01:00
Owen Mansel-Chan
7d34ce4dea
Rewrite with different flow state
2023-09-28 11:00:34 +01:00
Rasmus Lerchedahl Petersen
37a4f35650
Python: further rename
2023-09-28 11:49:42 +02:00
yoff
8156fa9a4d
Apply naming suggestions from code review
...
Co-authored-by: Rasmus Wriedt Larsen <rasmuswriedtlarsen@gmail.com >
2023-09-28 11:47:10 +02:00
Asger F
0d96ed8aee
Merge pull request #14305 from asgerf/shared/flow-state-inout-barriers
...
Shared: add in/out barriers with flow state
2023-09-28 11:07:23 +02:00
Koen Vlaswinkel
3f3c662a7d
C#: Fix parentheses in model editor queries
...
The MaD format and the Java model editor queries use parentheses around
the method parameter types, but `parameterQualifiedTypeNamesToString`
returns the parameter types without parentheses. This adds the
parentheses to the result of `getParameterTypes` to ensure consistency
between the Java and C# queries.
2023-09-28 10:51:36 +02:00
Anders Schack-Mulligen
5feb2f7622
Merge pull request #14321 from aschackmull/shared/filesystem
...
All languages: Use shared FileSystem library and minor regex performance improvement.
2023-09-28 10:51:05 +02:00
Rasmus Wriedt Larsen
f3acc89900
Python: Accept .expected
2023-09-28 10:41:16 +02:00
Koen Vlaswinkel
10231e99ce
Merge pull request #14199 from github/koesie10/add-java-model-editor-queries
...
Java: Add VS Code model editor queries
2023-09-28 10:13:13 +02:00
Koen Vlaswinkel
0f4f98787c
Merge pull request #14200 from github/koesie10/add-csharp-model-editor-queries
...
C#: Add VS Code model editor queries
2023-09-28 10:12:57 +02:00
Geoffrey White
8e9ca7bc26
Swift: Improve RegexEvals.ql and summary regex reporting.
2023-09-28 08:31:45 +01:00
Anders Schack-Mulligen
80f00bcb0b
FileSystem: Improve regex by only matching once instead of 3x.
2023-09-28 08:58:55 +02:00
Anders Schack-Mulligen
cfd08f23a5
FileSystem: Fix qldoc.
2023-09-28 08:58:55 +02:00
Anders Schack-Mulligen
20cbab9e8f
C#: Minor simplification.
2023-09-28 08:58:55 +02:00
Anders Schack-Mulligen
68d05eb342
Ruby: Minor simplification.
2023-09-28 08:58:55 +02:00
Anders Schack-Mulligen
855c89667d
JavaScript: Use shared FileSystem library.
2023-09-28 08:58:55 +02:00
Anders Schack-Mulligen
7bc0c54a41
QL: Use shared FileSystem library.
2023-09-28 08:58:55 +02:00
Anders Schack-Mulligen
73521ca16b
Python: Use shared FileSystem library.
2023-09-28 08:58:55 +02:00
Anders Schack-Mulligen
a08fe5b8b1
Go: Use shared FileSystem library.
2023-09-28 08:58:55 +02:00
Anders Schack-Mulligen
2548939849
C++: Use shared FileSystem library.
2023-09-28 08:58:55 +02:00
Anders Schack-Mulligen
653844cc46
Java: Use shared FileSystem library.
2023-09-28 08:58:55 +02:00
Robert Marsh
77fd9172fa
Swift: Fix extra param in downgrade script
2023-09-27 20:55:08 +00:00
Robert Marsh
64e4c1ea6d
Swift: remove another table from downgrade script
2023-09-27 20:52:06 +00:00
Robert Marsh
d71d6b265a
Swift: remove table from downgrade properties
2023-09-27 20:50:21 +00:00
Robert Marsh
4799ba0069
Swift: yet another downgrade script fix
2023-09-27 20:47:45 +00:00
Sarita Iyer
9609cafab4
Update annotations-in-java.rst
2023-09-27 16:27:32 -04:00
Robert Marsh
188ad6a571
Swift: another attempt at fixing downgrade script
2023-09-27 20:07:26 +00:00
Robert Marsh
9975a18a29
Swift: Hopefully fix codegen test failure
2023-09-27 20:06:13 +00:00
Sarita Iyer
8802395587
Merge branch 'saritai/update-language-display-names' of https://github.com/github/codeql into saritai/update-language-display-names
2023-09-27 15:01:44 -04:00
Sarita Iyer
deb47e34b8
fix underlines
2023-09-27 15:01:42 -04:00
Geoffrey White
bb1720d50a
Swift: Fix test after merge.
2023-09-27 19:31:04 +01:00
Geoffrey White
936f846b09
Merge branch 'main' into implicitflow
2023-09-27 19:27:07 +01:00
Geoffrey White
e4e4c5be61
Swift: Make QL-for-QL happy.
2023-09-27 19:12:04 +01:00
Geoffrey White
98b2ef0a2f
Swift: Autoformat.
2023-09-27 19:09:23 +01:00
Robert Marsh
a7a50cfc9a
Swift: more downgrade script fixes
2023-09-27 18:01:17 +00:00
Alex Eyers-Taylor
2860c0c0d4
CPP: Move test into correct file.
2023-09-27 18:42:26 +01:00
Geoffrey White
87696e58ab
Swift: Break the 'taint reach' metric off into its own query (it's expensive to compute).
2023-09-27 18:34:55 +01:00
Geoffrey White
ec573bdda8
Swift: Clean up and improve consistency.
2023-09-27 18:34:40 +01:00
Geoffrey White
ee83ad730b
Swift: Add a summary query for regex evals.
2023-09-27 18:34:32 +01:00
Geoffrey White
9f1332bdb2
Swift: Add a summary query for query sinks.
2023-09-27 18:34:32 +01:00
Sarita Iyer
16fb482767
Merge branch 'main' into saritai/update-language-display-names
2023-09-27 13:20:22 -04:00
Sarita Iyer
ee9873fdce
add kotlin to Java language guides
2023-09-27 13:16:58 -04:00
Benjamin Rodes
25203db4e7
Removing 'security' tags from all queries.
2023-09-27 12:43:51 -04:00
Owen Mansel-Chan
84c0c09673
Always use getters for FlowState
2023-09-27 17:13:58 +01:00
Owen Mansel-Chan
72ca6b8c5f
Add isSigned to IntegerParsers
2023-09-27 17:13:56 +01:00
Owen Mansel-Chan
c796cba02f
Improve UpperBoundCheckGuard.isBoundFor
2023-09-27 17:13:55 +01:00
Geoffrey White
e6dc4d324f
Swift: Change note.
2023-09-27 16:58:59 +01:00
Geoffrey White
b6f0160760
Swift: Effect on recently added tests.
2023-09-27 16:52:31 +01:00
Geoffrey White
6a2911ae01
Swift: Make the tests more accurate.
2023-09-27 16:39:55 +01:00