Mathias Vorreiter Pedersen
b55921a391
Update cpp/ql/src/experimental/Security/CWE/CWE-191/UnsignedDifferenceExpressionComparedZero.ql
...
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com >
2021-02-04 13:25:02 +01:00
Taus Brock-Nannestad
d01d7eea82
Python: Add documentation from DataFlowUtil::importNode
2021-02-04 13:08:19 +01:00
Julian Tibble
a666a692f9
Merge pull request #5086 from github/update-codeql-workflow
...
Update CodeQL workflow
2021-02-04 12:02:53 +00:00
Taus
634041d2d7
Merge pull request #5047 from yoff/python-dataflow-unpacking-unifying-experiments
...
Python: dataflow, unify iterated unpacking
2021-02-04 12:57:43 +01:00
Taus
bc448fe067
Merge pull request #5088 from RasmusWL/fix-small-typo
...
Python: Fix small typo in test-output
2021-02-04 12:56:56 +01:00
Geoffrey White
d41ea6c799
Merge pull request #5081 from MathiasVP/indirection-in-dataflow-models
...
C++: Add more indirection flow in dataflow models
2021-02-04 11:55:34 +00:00
Julian Tibble
121ffbbfa8
Restrict triggers for CodeQL workflow
...
Analysing all branches on both 'push' and 'pull request' events causes
duplicate analysis. It is only necessary to analyse the _target_
branches of pull requests on push.
2021-02-04 11:49:15 +00:00
Julian Tibble
ecfad6b5c7
Update CodeQL workflow
...
Bring the CodeQL workflow up to date with the latest recommended
configuration, which analyses the merge commit of pull requests (not the
head of the PR branch).
2021-02-04 11:45:15 +00:00
Taus
4627799c93
Python: Fix more typos
...
Co-authored-by: Rasmus Wriedt Larsen <rasmuswriedtlarsen@gmail.com >
2021-02-04 12:41:17 +01:00
Rasmus Wriedt Larsen
1de3524bc5
Update docs/ql-style-guide.md
...
Co-authored-by: Jonas Jensen <jbj@github.com >
2021-02-04 12:27:38 +01:00
Taus
e5ec1e105c
Python: Fix typos in test files
...
Co-authored-by: yoff <lerchedahl@gmail.com >
2021-02-04 12:18:07 +01:00
Rasmus Wriedt Larsen
ac0f2d37db
Python: Fix small typo in test-output
...
Spotted by yoff in https://github.com/github/codeql/pull/5069#discussion_r570063207
2021-02-04 12:11:20 +01:00
Erik Krogh Kristensen
6cbf7b3267
add of Set, Stack and similar to the Immutable model
2021-02-04 12:05:44 +01:00
Erik Krogh Kristensen
b74df66463
implement Immutable merge
2021-02-04 12:05:44 +01:00
Erik Krogh Kristensen
c0de6a3af2
add support for Immutable Record
2021-02-04 12:05:44 +01:00
Erik Krogh Kristensen
609b16b1f7
implement Immutable OrderedMap
2021-02-04 12:05:44 +01:00
Erik Krogh Kristensen
2e7bf9b53c
implement Immutable lists
2021-02-04 12:05:44 +01:00
Erik Krogh Kristensen
a5c9492c87
add support for fromJS in the Immutable model
2021-02-04 12:05:44 +01:00
Erik Krogh Kristensen
6cbe4caecc
support toJS() by using plain property names instead of pseudoproperties.
2021-02-04 12:05:44 +01:00
Erik Krogh Kristensen
b1f092f052
add support for map.set in Immutable model
2021-02-04 12:05:44 +01:00
Erik Krogh Kristensen
b77dd54618
implement basic map get/set for immutable.js
2021-02-04 12:05:44 +01:00
Mathias Vorreiter Pedersen
55615586ee
C++: Address review comments.
2021-02-04 11:30:44 +01:00
Tamás Vajk
26288ad391
Merge pull request #5082 from tamasvajk/feature/initial-db
...
C#: Add initial DB scheme
2021-02-04 11:23:42 +01:00
Tamás Vajk
ca992f2d3c
Merge pull request #5005 from tamasvajk/feature/follow-line
...
C#: Follow line directives when getting element location
2021-02-04 11:22:55 +01:00
Mathias Vorreiter Pedersen
47ab9ba81b
C++: emplace and emplace_back takes its arguments by universal references, so they should also specify flow as indirections.
2021-02-04 11:16:27 +01:00
Geoffrey White
7087904637
C++: Solution.
2021-02-04 09:00:35 +00:00
Tamás Vajk
1fd244923b
Merge pull request #5052 from tamasvajk/feature/fnptr-df
...
C#: Add data flow 'getARuntimeTarget' predicate to 'FunctionPointerCall'
2021-02-04 08:51:03 +01:00
Tamas Vajk
543f5916c4
Fix expected test AST
2021-02-04 08:49:19 +01:00
Tamas Vajk
88d1539d43
Fix file read error log message
2021-02-04 08:42:39 +01:00
Tamas Vajk
7068a265a6
Fix XML comment processing
2021-02-04 08:42:39 +01:00
Tamas Vajk
d3244fe298
Add new .stats file
2021-02-04 08:42:39 +01:00
Tamas Vajk
dbe656fe6a
Add DB upgrade folder for preprocessor directives
2021-02-04 08:42:39 +01:00
Tamas Vajk
fd09883bfe
Add change notes for preprocessor directives
2021-02-04 08:42:39 +01:00
Tamas Vajk
899e52a68a
Adjust getMappedLocation to not include line directives
2021-02-04 08:42:39 +01:00
Tamas Vajk
a1d227dbbb
C#: Follow line directives when getting element location
2021-02-04 08:42:39 +01:00
Tamas Vajk
967765342e
Assign preprocessor directives to compilation + make compilation cached
2021-02-04 08:42:39 +01:00
Tamas Vajk
1ab4af275d
Rework if/elif/else/endif extraction
2021-02-04 08:42:39 +01:00
Tamas Vajk
72547b89e6
Rework endregion extraction
2021-02-04 08:42:39 +01:00
Tamas Vajk
a5dec5b4aa
C#: Limit ancestor traversal for 'if' and 'elif' lookup
2021-02-04 08:42:38 +01:00
Tamas Vajk
2b7cc15757
Introduce base class for branching and conditional directives
2021-02-04 08:42:38 +01:00
Tamas Vajk
e450b61464
Fix code review findings in directives base class
2021-02-04 08:42:38 +01:00
Tamas Vajk
60b23dc505
Fix code review findings in 'endregion' directives
2021-02-04 08:42:38 +01:00
Tamas Vajk
6ef8e51bcf
Fix code review findings in 'line' directives
2021-02-04 08:42:38 +01:00
Tamas Vajk
f7832adfb8
Fix code review findings in 'nullable' directives
2021-02-04 08:42:38 +01:00
Tamas Vajk
567516471c
Fix code review findings in 'define' directives
2021-02-04 08:42:38 +01:00
Tamas Vajk
bd64dda4c3
Fix code review findings in pragma warning directives
2021-02-04 08:42:38 +01:00
Tamas Vajk
3900698b41
Add doc comments for preprocessor directive base class
2021-02-04 08:42:38 +01:00
Tamas Vajk
a896e1522d
Extract active flag from directives, fix missing assembly location
2021-02-04 08:42:38 +01:00
Tamas Vajk
41fbce0ad0
Extract #if directives
2021-02-04 08:42:38 +01:00
Tamas Vajk
a5d18f9b68
Extract region directives
2021-02-04 08:42:38 +01:00
