hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-25 00:27:09 +02:00
Code Issues Packages Projects Releases Wiki Activity
70,465 Commits 1,758 Branches 168 Tags
bcbb1bbce0806a581f4f0bf713b76e327776f99d
Commit Graph

70465 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Mathias Vorreiter Pedersen
bcbb1bbce0 PS: Accept tests. 2024-10-03 11:25:26 +01:00
Mathias Vorreiter Pedersen
52129a981f PS: Add lots of missing control flow. We're now complete on 'fleschutz/PowerShell'. 2024-10-03 11:25:15 +01:00
Mathias Vorreiter Pedersen
c7976d5090 Merge pull request #110 from microsoft/powershell-dataflow-fixes 
Powershell: Fix dataflow/SSA consistency errors.
 2024-10-03 12:17:51 +02:00
Mathias Vorreiter Pedersen
7eac066118 Powershell: Fix dataflow/SSA consistency errors. 2024-10-03 11:11:44 +01:00
Mathias Vorreiter Pedersen
c7850b141d Merge pull request #109 from microsoft/powershell-call-target-resolution 
PS: Resolve function calls
 2024-10-02 17:56:21 +02:00
Mathias Vorreiter Pedersen
953bd09c1c Merge pull request #106 from microsoft/tainted-path-barrier-with-state 
C#: Make `StartsWith` and `EndsWith` sanitizers on normalized paths
 2024-10-02 17:32:56 +02:00
Mathias Vorreiter Pedersen
816aa79a45 PS: Add helper predicate on 'Call' for getting a runtime target. 2024-10-02 15:37:19 +01:00
Mathias Vorreiter Pedersen
b05409380a PS: Resolve non-member function calls using the dataflow's lambda call resolution features. 2024-10-02 15:36:39 +01:00
Mathias Vorreiter Pedersen
f6a5b4b182 PS: Resolve member function calls using the shared type-tracking library. 2024-10-02 15:34:45 +01:00
Mathias Vorreiter Pedersen
b6dfbc3182 PS: Instantiate most of the shared type-tracking library. 2024-10-02 15:30:50 +01:00
Mathias Vorreiter Pedersen
9049407fb4 PS: More AST cleanup. 2024-10-02 14:45:20 +01:00
Mathias Vorreiter Pedersen
655cb8ef9a PS: Fix 'getEnclosingScope' and add 'getEnclosingFunction'. 2024-10-02 14:44:09 +01:00
Mathias Vorreiter Pedersen
43c75504e1 PS: Also support method calls as calls. 2024-10-02 12:56:36 +01:00
Mathias Vorreiter Pedersen
e36e6175dd Merge pull request #108 from microsoft/fix-powershell-compilation 
PS: Fix compile errors and warnings.
 2024-10-02 13:38:21 +02:00
Mathias Vorreiter Pedersen
32502a5be7 PS: Fix compile errors and warnings. 2024-10-02 12:31:51 +01:00
Ben Rodes
939b2181d4 Wchar fp fixes (#107) 
* Adding tests and updated expected file with false positives to correct.

(cherry picked from commit 26e58532ee)

* Modifications to the query to address false positives.

(cherry picked from commit cc24f1ed9f)

* Updating expected file, false positives now resolved.

(cherry picked from commit 92c8d39ba3)

* Correct comment.

(cherry picked from commit 338ab96593)

* Changing from hasIntermediateType to getABaseType.

(cherry picked from commit c4737c7fbb)

* Switching to looking for explicit declaration of unsigned char, to avoid cases where unsigned char is the default char width for `char`.

(cherry picked from commit 51e787b316)

* Altering ordering for exists statement to be clearer.

(cherry picked from commit 31324fc778)

* Altering exists predicate ordering to be clearer.

(cherry picked from commit c91f7f4918)

* Changing name of predicate to be clearer, and removing an unused parameter.

(cherry picked from commit 318e75c094)

* Removing unnecessary bracket/singleton set literal.

(cherry picked from commit 162519185d)

* Formatting.

(cherry picked from commit c496503053)
 2024-10-01 09:51:10 -04:00
Mathias Vorreiter Pedersen
758196ed8d C#: Accept test changes. 2024-10-01 12:40:49 +01:00
Mathias Vorreiter Pedersen
89bdcfb53d C#: Allow 'StartsWith' and 'EndsWith' to be barriers when the path is normalized. 2024-10-01 12:34:40 +01:00
Mathias Vorreiter Pedersen
9457e5305e C#: Add a flow state to represent whether the path is normalized. 2024-10-01 12:33:04 +01:00
Mathias Vorreiter Pedersen
864bde242f C#: Add a FP testcase. 2024-10-01 12:26:58 +01:00
Mathias Vorreiter Pedersen
60cda950dc Merge pull request #105 from microsoft/powershell-argument-parameter-matching 
PS: Implement argument/parameter matching in dataflow
 2024-09-27 12:30:26 +01:00
Mathias Vorreiter Pedersen
b6019655ce PS: Use named sets to model parameter and argument matching. 2024-09-26 18:53:31 +01:00
Mathias Vorreiter Pedersen
e4c702ef14 PS: Represent sets of parameter names. 2024-09-26 18:53:30 +01:00
Mathias Vorreiter Pedersen
7f25caf3f6 PS: Add various helper predicates. 2024-09-26 18:53:29 +01:00
Mathias Vorreiter Pedersen
5e2051bdea PS: Add test. 2024-09-26 18:53:28 +01:00
Mathias Vorreiter Pedersen
5803e0611e Merge pull request #104 from microsoft/powershell-field-flow 
PS: Add field flow
 2024-09-26 11:31:12 +01:00
Mathias Vorreiter Pedersen
1ce4c2fcbf PS: Add tests. 2024-09-24 16:53:56 +01:00
Mathias Vorreiter Pedersen
f51e0b0133 PS: Add field flow. 2024-09-24 16:53:48 +01:00
Mathias Vorreiter Pedersen
3fa466efa9 Merge pull request #102 from microsoft/powershell-very-basic-flow-steps 
PS: Add very basic dataflow steps
 2024-09-23 18:23:58 +01:00
Mathias Vorreiter Pedersen
f2d89a24f8 PS: Add flow steps from SSA and from right-hand of assignment to assignment. 2024-09-23 17:24:29 +01:00
Mathias Vorreiter Pedersen
dd2c5ef897 Merge pull request #101 from microsoft/add-inline-expectations-test-for-dataflow 
PS: Add `InineExpectationsTest` library for dataflow tests
 2024-09-23 16:29:35 +01:00
Mathias Vorreiter Pedersen
6beb8ee576 PS: Autoformat. 2024-09-23 16:27:42 +01:00
Mathias Vorreiter Pedersen
15b33ee612 PS: Add tests. 2024-09-23 16:27:39 +01:00
Mathias Vorreiter Pedersen
7fc82194e8 PS: Add inline expectations test library. 2024-09-23 16:27:37 +01:00
Mathias Vorreiter Pedersen
ccbfe0f168 PS: Prepare AST and other libraries for inline expectations tests. 2024-09-23 16:27:36 +01:00
Mathias Vorreiter Pedersen
67631e2d36 PS: Update AST hierachy after #100. 2024-09-23 16:27:34 +01:00
Mathias Vorreiter Pedersen
be8a76335b Merge pull request #100 from microsoft/powershell-fewer-pipelines-in-db 
PS: Remove spurious `Pipeline`s in the DB
 2024-09-23 13:24:17 +01:00
Mathias Vorreiter Pedersen
974017bb70 PS: Accept test changes. 2024-09-23 13:12:35 +01:00
Mathias Vorreiter Pedersen
0e606e69f7 PS: Add up and downgrade scripts. 2024-09-23 13:12:31 +01:00
Mathias Vorreiter Pedersen
18dd6d0b48 Add Powershell to the upgrade script prepation script. 2024-09-23 12:59:21 +01:00
Mathias Vorreiter Pedersen
26a75da26f PS: Don't generate a 'Pipeline' element when the pipeline wraps a single element. 2024-09-23 12:58:17 +01:00
dilanbhalla
ba1646fe90 Merge pull request #99 from microsoft/dilan/2.19.0-upgrade-conflict 
Dilan/2.19.0 upgrade conflict
 2024-09-22 02:05:31 -07:00
Dilan Bhalla
a763263cbd resolving merge conflict 2024-09-22 02:04:29 -07:00
dilanbhalla
2ee42cbc3b Merge pull request #98 from microsoft/dilan/2.19.0-upgrade 
2.19.0 upgrade
 2024-09-18 15:04:52 -07:00
Dilan Bhalla
e370fa2dec 2.19.0 upgrade fix 2024-09-18 14:48:55 -07:00
Dilan Bhalla
14ce258807 2.19.0 upgrade 2024-09-18 14:28:42 -07:00
Mathias Vorreiter Pedersen
8fd89829cc Merge pull request #97 from microsoft/powershell-integrate-ssa-into-dataflow 
PS: Integrate SSA computations into dataflow
 2024-09-17 10:02:52 +01:00
Mathias Vorreiter Pedersen
f14e1cc782 PS: Add more expression classes and a helper class for calls. 2024-09-16 20:32:25 +01:00
Mathias Vorreiter Pedersen
d616506f23 PS: Integrate SSA computations into dataflow. 2024-09-16 19:36:39 +01:00
Mathias Vorreiter Pedersen
c87873bd26 PS: Add more cfg classes and helper predicats. 2024-09-16 19:36:37 +01:00