Asger F
|
f9c0ba3826
|
Ruby: use DeduplicatePathGraph in CodeInjection query
|
2024-12-11 11:48:15 +01:00 |
|
Asger F
|
815581dc11
|
JS: Update to account for key,val pairs on edges
|
2024-12-11 11:48:13 +01:00 |
|
Owen Mansel-Chan
|
aaa4361120
|
Rearrange member predicates in ControlFlow::Node
Put all the ones which might need to be overrridden by subclasses
together for ease of reading.
|
2024-12-11 10:34:18 +00:00 |
|
Owen Mansel-Chan
|
79f4f78fc2
|
Make separate classes for control flow node kinds
This puts all the logic of a particular control flow node kind into one
place and makes it easier to add new kinds.
|
2024-12-11 10:34:16 +00:00 |
|
Asger F
|
5aa1242117
|
Shared: use a call bit when tracking reachability to/from a discriminator
|
2024-12-11 11:29:14 +01:00 |
|
Asger F
|
0eb543e0a9
|
Java: add test for spurious flow from path graph deduplication
|
2024-12-11 11:29:13 +01:00 |
|
Asger F
|
8efdc2df7b
|
Shared: change note
|
2024-12-11 11:29:11 +01:00 |
|
Asger F
|
cba7b98f7a
|
Shared: Add DataFlow::DeduplicatePathGraph
|
2024-12-11 11:29:10 +01:00 |
|
Anders Schack-Mulligen
|
cac131df37
|
Dataflow: Rename a couple of predicates.
|
2024-12-11 11:22:42 +01:00 |
|
Anders Schack-Mulligen
|
d6a4080baf
|
Dataflow: Address review comment.
|
2024-12-11 11:18:57 +01:00 |
|
Cornelius Riemenschneider
|
f0971684e3
|
Merge pull request #18257 from github/criemen/bazel-8-00
Upgrade bazel to 8.0.0.
|
2024-12-11 11:14:41 +01:00 |
|
Paolo Tranquilli
|
a36d226d0c
|
Merge pull request #18247 from github/redsun82/executable-scripts
Make scripts executable
|
2024-12-11 10:42:57 +01:00 |
|
Tom Hvitved
|
baf186fed7
|
Address review comments
|
2024-12-11 10:28:32 +01:00 |
|
Owen Mansel-Chan
|
ba9d21ec98
|
Merge pull request #17970 from owen-mc/java/lightweight-IR-layer
Java: IPA the CFG (second try)
|
2024-12-10 23:57:52 +00:00 |
|
Joe Farebrother
|
bcb08bbc7b
|
Update test output
|
2024-12-10 19:24:05 +00:00 |
|
Joe Farebrother
|
29a90235e8
|
Improve tests and use API graphs
|
2024-12-10 19:09:45 +00:00 |
|
Joe Farebrother
|
d2ed92d6d0
|
Added tests
|
2024-12-10 19:09:20 +00:00 |
|
Joe Farebrother
|
d2b0d7a743
|
Add missing qldoc
|
2024-12-10 19:07:53 +00:00 |
|
Joe Farebrother
|
89167da177
|
Model flow steps for lxml
|
2024-12-10 19:01:14 +00:00 |
|
Mathias Vorreiter Pedersen
|
0acef590b1
|
C++: Add more MaD models.
|
2024-12-10 18:29:48 +00:00 |
|
Mathias Vorreiter Pedersen
|
64464b39c6
|
C++: Add tests for a few string-related classes.
|
2024-12-10 18:28:12 +00:00 |
|
Mathias Vorreiter Pedersen
|
c5bb907fe0
|
C++: Also handle varargs in MaD parsing.
|
2024-12-10 18:25:56 +00:00 |
|
Mathias Vorreiter Pedersen
|
c604c44a55
|
C++: Add CStringT model and accept tests.
|
2024-12-10 18:22:06 +00:00 |
|
Mathias Vorreiter Pedersen
|
73ff33888b
|
C++: Add CStringT tests.
|
2024-12-10 18:18:37 +00:00 |
|
Mathias Vorreiter Pedersen
|
ba0ba15e88
|
C++: Add CSimpleStringT model and accept tests.
|
2024-12-10 18:13:42 +00:00 |
|
Mathias Vorreiter Pedersen
|
b42bffc55c
|
C++: Add CSimpleStringT tests.
|
2024-12-10 18:10:54 +00:00 |
|
Mathias Vorreiter Pedersen
|
fb75f54951
|
C++: Add another typedef.
|
2024-12-10 18:07:45 +00:00 |
|
Owen Mansel-Chan
|
5b575113c3
|
Update test-kotlin2
|
2024-12-10 15:56:15 +00:00 |
|
Owen Mansel-Chan
|
4978a6eb37
|
Fix getasuccessor kotlin
The change in results shows that there are now fewer control flow nodes.
We have removed precisely those with no successor or predecessor.
|
2024-12-10 15:26:20 +00:00 |
|
Owen Mansel-Chan
|
5e0c3ab715
|
Fix kotlin tests
|
2024-12-10 15:26:19 +00:00 |
|
Owen Mansel-Chan
|
3f5886ef7a
|
Accept another review suggestion
|
2024-12-10 15:26:17 +00:00 |
|
Owen Mansel-Chan
|
2da9bfb1a6
|
Finish renaming getCFGNode to getCfgNode
|
2024-12-10 15:26:16 +00:00 |
|
Owen Mansel-Chan
|
274281f61e
|
Apply all suggestions from code review
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
|
2024-12-10 15:26:14 +00:00 |
|
Owen Mansel-Chan
|
d06dfe0ca3
|
Add change note
|
2024-12-10 15:26:13 +00:00 |
|
Owen Mansel-Chan
|
0f3dd6d8f1
|
Java: IPA the CFG
|
2024-12-10 15:26:11 +00:00 |
|
Anders Schack-Mulligen
|
da179705c3
|
Java: Accept expected file changes.
|
2024-12-10 14:52:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
0f5786e4e6
|
Merge pull request #18251 from MathiasVP/fix-uncertain-array-writes
C++: Consider writes to arrays as uncertain
|
2024-12-10 12:38:47 +00:00 |
|
Michael Nebel
|
828818d355
|
Merge pull request #18248 from michaelnebel/csharp/enabletests
C#: Enable Semmle.Util.Tests.
|
2024-12-10 13:30:15 +01:00 |
|
Anders Schack-Mulligen
|
40f7713678
|
Dataflow: Minor simplification.
|
2024-12-10 13:28:43 +01:00 |
|
Anders Schack-Mulligen
|
4e155f8542
|
Dataflow: Insert a few getApprox calls to remove ApApprox from fwdFlow.
|
2024-12-10 13:23:51 +01:00 |
|
Anders Schack-Mulligen
|
231bf9d1c9
|
Dataflow: Drop ApApprox join in fwdFlowStore.
|
2024-12-10 13:20:27 +01:00 |
|
Michael Nebel
|
684c80c31a
|
C#: Address review comments.
|
2024-12-10 13:13:11 +01:00 |
|
Anders Schack-Mulligen
|
501cbdab3c
|
Dataflow: Remove another ApApprox join and related columns.
|
2024-12-10 13:12:32 +01:00 |
|
Anders Schack-Mulligen
|
22e0636cba
|
Dataflow: Insert a few getApprox calls to remove even more columns.
|
2024-12-10 13:09:38 +01:00 |
|
Anders Schack-Mulligen
|
a77adadd01
|
Dataflow: Remove more unused columns.
|
2024-12-10 12:57:24 +01:00 |
|
Anders Schack-Mulligen
|
882a985788
|
Dataflow: Remove useless join.
|
2024-12-10 12:53:30 +01:00 |
|
Anders Schack-Mulligen
|
262f64f037
|
Dataflow: Remove unused columns.
|
2024-12-10 12:53:29 +01:00 |
|
Anders Schack-Mulligen
|
d4044062c5
|
Dataflow: Remove ApApprox column in out-flow.
|
2024-12-10 12:53:29 +01:00 |
|
Anders Schack-Mulligen
|
7c888ebe06
|
Dataflow: Replace some allowsFieldFlow,apa pairs with emptyAp boolean.
|
2024-12-10 12:53:29 +01:00 |
|
Anders Schack-Mulligen
|
c8046fa8e0
|
Dataflow: Drop some ApApprox columns and joins.
|
2024-12-10 12:53:28 +01:00 |
|