Chris Smowton
|
8553266aae
|
Allow specialised instances of anonymous classes
|
2022-10-17 11:27:05 +01:00 |
|
Anders Schack-Mulligen
|
6ef5fac239
|
Merge pull request #10814 from aschackmull/dataflow/synth-global
Dataflow: Add support for synthetic global fields in MaD.
|
2022-10-17 08:34:26 +02:00 |
|
Jami Cogswell
|
da218fdbf1
|
clean up code
|
2022-10-14 13:03:34 -04:00 |
|
Jami Cogswell
|
0334470f33
|
remove commented out predicates that relied on typeFlag
|
2022-10-14 10:55:30 -04:00 |
|
Jami Cogswell
|
47030df8ac
|
remove commented-out 3 configs
|
2022-10-14 09:26:44 -04:00 |
|
Anders Schack-Mulligen
|
5ce4483a8e
|
Merge pull request #10795 from aschackmull/java/synth-callable
Java: Add support for synthetic callables with flow summaries and model Stream.collect
|
2022-10-14 10:58:14 +02:00 |
|
Jami Cogswell
|
6eb58d832c
|
remove dependence on typeFlag
|
2022-10-14 00:47:57 -04:00 |
|
Jami Cogswell
|
c61f23baae
|
experiment with more code condensing
|
2022-10-13 23:24:06 -04:00 |
|
Jami Cogswell
|
2daa3457d7
|
combine three configs into one
|
2022-10-13 17:57:56 -04:00 |
|
Josh Soref
|
45d1e3f9b2
|
spelling: representation
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-13 10:56:41 -04:00 |
|
Josh Soref
|
52a3e3c2fd
|
spelling: heuristic
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-13 10:56:41 -04:00 |
|
Anders Schack-Mulligen
|
ad8f0fc1dd
|
Java: Address review comments.
|
2022-10-13 14:55:55 +02:00 |
|
Anders Schack-Mulligen
|
2848909450
|
Dataflow: Add support for synthetic global fields in MaD.
|
2022-10-13 14:18:13 +02:00 |
|
Anders Schack-Mulligen
|
51dfb319f5
|
Java: autoformat
|
2022-10-13 11:17:44 +02:00 |
|
Anders Schack-Mulligen
|
ac3379657d
|
Java: qldoc fix and changenote.
|
2022-10-13 11:17:44 +02:00 |
|
Anders Schack-Mulligen
|
8c7b6d6f20
|
Java: Add support for synthetic callables with flow summaries and model Stream.collect.
|
2022-10-13 11:17:44 +02:00 |
|
Anders Schack-Mulligen
|
036724ce8d
|
Dataflow: Sync.
|
2022-10-13 11:03:30 +02:00 |
|
Anders Schack-Mulligen
|
c4915b27e7
|
Dataflow: Add additional annotation.
|
2022-10-13 11:03:08 +02:00 |
|
Tamás Vajk
|
6c781b5b1a
|
Merge pull request #10789 from tamasvajk/kotlin-useless-params
Kotlin: reduce FPs in useless parameter check for Kotlin code
|
2022-10-13 09:40:54 +02:00 |
|
Jami Cogswell
|
e0f0d554cb
|
condense code
|
2022-10-12 22:18:07 -04:00 |
|
Erik Krogh Kristensen
|
10aab81f42
|
Merge pull request #10799 from jsoref/spelling-nfautils
ReDoS: Spelling nfautils
|
2022-10-12 23:09:06 +02:00 |
|
Jami Cogswell
|
bcb506b637
|
add placeholder qldocs
|
2022-10-12 17:04:51 -04:00 |
|
Jami Cogswell
|
bfbb6db436
|
clean up code
|
2022-10-12 16:58:34 -04:00 |
|
Jami Cogswell
|
37d85587e0
|
refactor code into InsufficientKeySize.qll
|
2022-10-12 15:39:57 -04:00 |
|
Josh Soref
|
09c8a98761
|
spelling: representation
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-12 15:20:26 -04:00 |
|
Josh Soref
|
bb1ce8973a
|
spelling: repeatable
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-12 15:20:24 -04:00 |
|
Josh Soref
|
adb8860b9b
|
spelling: pattern
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-12 15:20:24 -04:00 |
|
Josh Soref
|
370da943dc
|
spelling: abcdefghijklmnopqrstuvwxyz
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-12 15:02:00 -04:00 |
|
Edward Minnix III
|
ce740b47ae
|
Merge pull request #10637 from egregius313/egregius313/android-misconfigured-contentprovider
Android ContentProvider Incomplete Permissions
|
2022-10-12 09:41:03 -04:00 |
|
Jami Cogswell
|
0fc4a33d43
|
remove commented-out code
|
2022-10-12 08:54:06 -04:00 |
|
Jami Cogswell
|
01c2a8cbba
|
add symm to the single config; still seems to work
|
2022-10-12 08:51:22 -04:00 |
|
Tamas Vajk
|
0d6da9ca7f
|
Exclude serialization constructors from useless parameters check
|
2022-10-12 12:58:28 +02:00 |
|
Tamas Vajk
|
955336fb22
|
Kotlin: exclude generated code from useless parameter check
|
2022-10-12 12:42:56 +02:00 |
|
Chris Smowton
|
3b49594c20
|
Kotlin: Add Callable.getKotlinParameterDefaultsProxy
|
2022-10-12 11:29:55 +01:00 |
|
Jami Cogswell
|
29de0c6748
|
make one config for asymm with flow states; seems to work...
|
2022-10-11 22:29:48 -04:00 |
|
Jami Cogswell
|
3e8748e639
|
add path-graph back to query alerts
|
2022-10-11 16:56:11 -04:00 |
|
Jami Cogswell
|
26f4abf12b
|
remove globalflow for key(pair)gen
|
2022-10-11 16:56:11 -04:00 |
|
Jami Cogswell
|
e64825ff7a
|
fix code-scanning bot problems
|
2022-10-11 16:56:11 -04:00 |
|
Jami Cogswell
|
b6a8c27d48
|
delete experimental files
|
2022-10-11 16:56:11 -04:00 |
|
Jami Cogswell
|
bd76b1fcc0
|
clean-up and update configurations to have specs as sink
|
2022-10-11 16:56:10 -04:00 |
|
Jami Cogswell
|
0c2cff253f
|
updates from discussing with Tony
|
2022-10-11 16:56:10 -04:00 |
|
Jami Cogswell
|
3cc7f143b2
|
clean up code somewhat
|
2022-10-11 16:56:10 -04:00 |
|
Jami Cogswell
|
f5a2fef7a3
|
update tests for non-path version
|
2022-10-11 16:56:10 -04:00 |
|
Jami Cogswell
|
b0af9f936c
|
added kg taintracking config to all
|
2022-10-11 16:56:10 -04:00 |
|
Jami Cogswell
|
b7123c17f8
|
draft of adding kpg tracking into dataflow config
|
2022-10-11 16:56:10 -04:00 |
|
Jami Cogswell
|
cdac0e2b52
|
add local algo name tracking, still need to add ability to track algo name when KeyGen obj is param to other method
|
2022-10-11 16:56:10 -04:00 |
|
Jami Cogswell
|
c414ee0e25
|
add ECC dataflow config; passes all test cases; still don't have algo name tracking
|
2022-10-11 16:56:10 -04:00 |
|
Jami Cogswell
|
5e2ef66014
|
refactoring to use both dataflow configs; commit before deleting unused code
|
2022-10-11 16:56:10 -04:00 |
|
Jami Cogswell
|
ac707198d5
|
commit before adding taint flow back (since no taint flow doesn't capture all cases)
|
2022-10-11 16:56:10 -04:00 |
|
Jami Cogswell
|
8ffd2522e7
|
add draft code to find algo type to replace tainttracking configs
|
2022-10-11 16:56:10 -04:00 |
|