Tony Torralba
90517e254a
Accept test expectation changes
2023-01-18 13:25:04 +01:00
Mathias Vorreiter Pedersen
48439bc252
Merge pull request #11905 from geoffw0/rncrypt
...
Swift: Add RNCryptor sinks to swift/constant-password
2023-01-18 11:43:23 +00:00
Tony Torralba
d75a5212b2
Support more CFG node types in optional binding flow
2023-01-18 12:42:44 +01:00
Tony Torralba
4a89a30abd
Add failing test
2023-01-18 12:41:59 +01:00
Rasmus Wriedt Larsen
4df946b161
Python: call-graph: Don't design for special method calls yet
...
The `call` arguments were not `CallNode`s before, to allow for easier
support of special method calls, such as `a + b` going to `__add__`.
However, this is not implemented yet, so for now we can keep things
simple.
Co-authored-by: Taus <tausbn@github.com >
2023-01-18 12:30:53 +01:00
Mathias Vorreiter Pedersen
c8bcfb77b2
Merge pull request #11836 from geoffw0/optbinding
...
Swift: Data flow through optional binding
2023-01-18 11:25:27 +00:00
Geoffrey White
71c1ca53a9
Merge branch 'main' into rncrypt
2023-01-18 11:09:09 +00:00
erik-krogh
e4d4873d0d
remove the dataflow copy for regexp tracking now that type-tracking is used
2023-01-18 11:04:51 +01:00
Michael Nebel
4c94adb5ec
C#: Add change note.
2023-01-18 10:50:04 +01:00
Michael Nebel
3846349ba0
C#: Add testcase for CIL generic attribute extraction.
2023-01-18 10:49:44 +01:00
Michael Nebel
821d294be8
C#: Add library support for CIL generic attributes.
2023-01-18 10:49:44 +01:00
Michael Nebel
5ff89a2ccf
C#: Update expected test output for printing of constructed generic CIL types.
2023-01-18 10:49:44 +01:00
Michael Nebel
8b231c51f9
C#: Improve printing of constructed generic CIL types.
2023-01-18 10:49:44 +01:00
Michael Nebel
b680795d15
C#: The generic attribute type is a constructed class.
2023-01-18 10:49:44 +01:00
Michael Nebel
62e7c22783
C#: Add generic attribute test and expected results.
2023-01-18 10:48:30 +01:00
Michael Nebel
211af1943c
C#: Library support for generic attributes.
2023-01-18 10:48:30 +01:00
Michael Nebel
3a4623b437
Merge pull request #11907 from michaelnebel/csharp/cil/attributes
...
C#: CIL attributes
2023-01-18 10:46:34 +01:00
Rasmus Wriedt Larsen
e0ccb9306a
Merge pull request #11908 from RasmusWL/dataflow-consistency-more-excludes
...
DataFlow: Add `uniqueParameterNodePositionExclude`
2023-01-18 10:44:51 +01:00
AlexDenisov
8910ba4f32
Merge pull request #11919 from github/redsun82/swift-obsolete-conf
...
Swift: remove obsolete configuration fields
2023-01-18 10:34:24 +01:00
erik-krogh
1477974bf1
the RegexExecution concept does not need to have getTerm()
2023-01-18 10:10:36 +01:00
erik-krogh
1a3c9c8305
improve performance of regular-expression type-tracking by adding an exploratory initial analysis
2023-01-18 10:10:36 +01:00
erik-krogh
b8f6feb68b
delete old test
2023-01-18 10:10:36 +01:00
erik-krogh
45316b6381
rename RegExpConfiguration to RegExpTracking
2023-01-18 10:10:36 +01:00
erik-krogh
25e65e0d9f
rewrite the regexp tracking DataFlow::Configuration to TypeTracking
2023-01-18 10:10:36 +01:00
erik-krogh
d0b627b018
move the implementation detail of how regular-expressions are tracked into RegExpConfiguration.qll"
2023-01-18 10:10:05 +01:00
Paolo Tranquilli
f383fd1dc1
Swift: introduce module disambuigation via linkage awareness
2023-01-18 10:07:46 +01:00
Paolo Tranquilli
d7feb001be
Swift: prepare extractSwiftInvocation
2023-01-18 10:07:46 +01:00
Paolo Tranquilli
a3b4c32f07
Swift: stamp all named declarations with an id-ref to the containing module
2023-01-18 10:07:46 +01:00
Paolo Tranquilli
f7a046ccd2
Swift: add trap linkage awareness infrastructure
2023-01-18 10:07:46 +01:00
Paolo Tranquilli
5fdb09380c
Swift: move TargetTrapDomain to TargetDomains in infra
2023-01-18 10:07:46 +01:00
Paolo Tranquilli
7f389b9f9a
Swift: introduce TrapType
2023-01-18 10:07:46 +01:00
Paolo Tranquilli
353536b826
Swift: collect original output module paths
2023-01-18 10:07:46 +01:00
Paolo Tranquilli
84b285a4c6
Swift: collect source files
2023-01-18 10:07:46 +01:00
Paolo Tranquilli
33c4a8233c
Swift: collect encountered modules
2023-01-18 10:07:46 +01:00
Paolo Tranquilli
c7f13f1036
Swift: collect TRAP files related to an extractor run
...
In order to do this a mutable `SwiftExtractorState` is introduced.
2023-01-18 10:07:46 +01:00
Paolo Tranquilli
c31c515205
Swift: move TargetFile as managed inside TrapDomain
2023-01-18 10:07:46 +01:00
Paolo Tranquilli
20eaa34485
Swift: failing tests for linkage awareness
2023-01-18 10:07:46 +01:00
Tony Torralba
c8e894b854
Merge pull request #11917 from github/workflow/coverage/update
...
Update CSV framework coverage reports
2023-01-18 10:02:22 +01:00
erik-krogh
f516ccb4e2
limit the fieldFlowBranchLimit for the regexp tracker to improve performance
2023-01-18 09:31:04 +01:00
erik-krogh
2fceee4e35
track regular expressions that gets compiled with Regexp.compile
2023-01-18 09:31:04 +01:00
erik-krogh
acf28ebd98
add a RegexExecution, and use it to track regular expressions to their uses in a nice way in rb/polynomial-redos
2023-01-18 09:31:04 +01:00
erik-krogh
6e33dd5df6
add failing test
2023-01-18 09:31:04 +01:00
Erik Krogh Kristensen
1a64393c4c
Merge pull request #11893 from erik-krogh/csharpIndexFiles
...
C#: add --working-dir=. to pre-finalize
2023-01-18 09:05:29 +01:00
Paolo Tranquilli
2c4c2dfeb3
Swift: remove obsolete configuration fields
2023-01-18 08:55:59 +01:00
Michael Nebel
8e3e6505ad
C#: Add change note.
2023-01-18 07:56:24 +01:00
github-actions[bot]
571942fb21
Add changed framework coverage reports
2023-01-18 00:17:19 +00:00
Jeroen Ketema
6cd52237c3
Merge pull request #11913 from jketema/test-fixes
...
C++: Some minor test fixes
2023-01-17 21:52:57 +01:00
erik-krogh
4b74dec18f
expand what is parsed as the stem of a pathexpr
2023-01-17 21:28:21 +01:00
yoff
5a82012d03
Merge pull request #11854 from yoff/python/fix-tarslip-improv-bug
...
Python: fix bug in `py/tarslip-extended`
2023-01-17 20:44:06 +01:00
Geoffrey White
a568d0af7f
Swift: Remove unused variable.
2023-01-17 18:10:02 +00:00
