Felicity Chapman
6bfbd77326
Update description of C# 8 support
2019-06-07 17:51:13 +01:00
Nick Rolfe
2622df0262
Merge pull request #1411 from ian-semmle/qlcfg3
...
C++: QL CFG: Use synthetic_destructor_call table rather than SyntheticDestructorCalls
2019-06-07 16:22:24 +01:00
Geoffrey White
ab507aa3d1
Merge pull request #1400 from jbj/suspicious-pointer-scaling_medium
...
C++: Suspicious pointer scaling: @precision medium
2019-06-07 16:13:48 +01:00
Felicity Chapman
74ea09a36e
Merge pull request #1418 from markshannon/extractor-change-notes
...
Add missing extractor change notes for 1.21.
2019-06-07 16:02:25 +01:00
Jonas Jensen
de4c20e7ca
Merge pull request #1413 from felicity-semmle/1.21/cpp-change-notes
...
QL1.21: Finalize change notes for C/C++
2019-06-07 07:58:32 -07:00
Felicity Chapman
9fb31c65d9
Update support info for 1.21
2019-06-07 15:51:26 +01:00
Mark Shannon
880ce3dc04
Python: Change note for new points-to implementation.
2019-06-07 15:44:50 +01:00
Mark Shannon
2fab40111b
Fix typo in qldoc.
2019-06-07 15:31:17 +01:00
Mark Shannon
cd793091ca
Python points-to: Make sure that vararg tuples are only assigned to vararg parameters.
2019-06-07 15:31:17 +01:00
Mark Shannon
de39f9208b
Python: Clarify and document points-to and object model for calls involving starargs.
2019-06-07 15:31:17 +01:00
Mark Shannon
9e537a76dc
Python points-to: Handle varargs in caller
2019-06-07 15:31:17 +01:00
Mark Shannon
468975b0e5
Python points-to: Handle varargs in callee.
2019-06-07 15:31:17 +01:00
Felicity Chapman
1a97936d5c
Further corrections
2019-06-07 15:21:45 +01:00
Mark Shannon
80909687d3
Python extractor change notes: Rephrase for clarity.
2019-06-07 15:09:22 +01:00
Max Schaefer
394e306e05
Merge pull request #1420 from felicity-semmle/1.21/javascript-change-notes
...
QL 1.21: javascript change notes - rc/1.21 branch
2019-06-07 14:43:31 +01:00
Tom Hvitved
17aad4b0a5
C#: Fix CFG for switch expressions in Boolean/nullness contexts
2019-06-07 15:39:33 +02:00
Tom Hvitved
e538d8e9ac
C#: Add CFG tests for switch expression in Boolean/nullness context
2019-06-07 15:39:28 +02:00
Max Schaefer
398ee0c133
JavaScript: Add tests for data-flow tutorial.
2019-06-07 14:33:26 +01:00
Calum Grant
5e3b625f65
Merge pull request #1414 from felicity-semmle/1.21/csharp-change-notes
...
QL 1.21: Finalize change notes for C#
2019-06-07 14:27:38 +01:00
Ian Lynagh
46cce36552
C++: Add an upgrade script
2019-06-07 14:00:52 +01:00
Ian Lynagh
fa604a393b
C++: Some tidyups following review comments
2019-06-07 14:00:52 +01:00
Ian Lynagh
896e64b987
C++: Update stats
2019-06-07 14:00:52 +01:00
Ian Lynagh
a14379b860
C++: Document external package tables in dbscheme
2019-06-07 14:00:52 +01:00
Ian Lynagh
79b08d2792
C++: Remove SyntheticDestructorCalls
...
It is now replace by the synthetic_destructor_call table.
2019-06-07 14:00:52 +01:00
Ian Lynagh
03f555dda5
C++: Update test output following QLCFG changes
2019-06-07 14:00:52 +01:00
Ian Lynagh
93afadf09a
C++: Add and use synthetic_destructor_call table
2019-06-07 14:00:52 +01:00
Tom Hvitved
7c802ada40
C#: Improvements to Stubs.qll
...
- Handle keywords.
- Handle `const` fields.
- Handle type parameter constraints.
2019-06-07 14:50:33 +02:00
semmle-qlci
092163aad5
Merge pull request #1417 from felicity-semmle/1.21/javascript-change-notes
...
Approved by xiemaisi
2019-06-07 12:15:10 +01:00
Felicity Chapman
da9b9edde2
Remove redundant sentence
2019-06-07 12:03:19 +01:00
Mark Shannon
da04086385
Add missing extractor change notes for 1.21.
2019-06-07 12:01:28 +01:00
Felicity Chapman
fe38417765
Update for feedback
2019-06-07 11:54:22 +01:00
Felicity Chapman
53ea76ba48
Update for feedback
2019-06-07 10:51:19 +01:00
Felicity Chapman
e589d12d78
Update change-notes/1.21/analysis-javascript.md
...
Co-Authored-By: Max Schaefer <max@semmle.com >
2019-06-07 10:25:56 +01:00
Felicity Chapman
012f6adf90
Minor text changes
2019-06-07 09:44:49 +01:00
Anders Schack-Mulligen
64a8daa4b5
Merge pull request #1415 from felicity-semmle/1.21/java-change-notes
...
QL 1.21: Finalize Java change notes
2019-06-07 09:04:13 +02:00
Jonas Jensen
cf96035d8c
C++: Suspicious pointer scaling: @precision medium
...
This query is not producing good enough results to justify `@precision
high`. It's fundamentally looking for a pattern that should correlate
with memory management errors, but it doesn't look for the errors
themselves.
2019-06-06 21:08:20 -07:00
Felicity Chapman
a4e2593c94
Correct table sort order
2019-06-06 18:53:10 +01:00
Felicity Chapman
5be8576ee2
Minor text updates
2019-06-06 18:48:23 +01:00
Felicity Chapman
eba8abe3d4
Minor text changes
2019-06-06 18:33:56 +01:00
Felicity Chapman
463371aeb9
Merge two rows for one query
2019-06-06 17:52:52 +01:00
Felicity Chapman
2f97aac64a
Sort table rows alphabetically
2019-06-06 17:50:17 +01:00
Felicity Chapman
36a6d9ea81
Update text for consistency
2019-06-06 17:45:26 +01:00
Anders Schack-Mulligen
5fed6c78fe
Java: Include two more base cases in TypeFlow to improve virtual dispatch.
2019-06-06 14:45:23 +02:00
Max Schaefer
16c33b54b6
JavaScript: Recognise references to the process global.
2019-06-06 11:48:18 +01:00
Taus
58285c08dd
Merge pull request #1391 from markshannon/python-points-to-varargs
...
Python points to varargs
2019-06-05 20:17:01 +02:00
Mark Shannon
03d296a617
Fix typo in qldoc.
2019-06-05 17:54:09 +01:00
Taus
703fbc6976
Merge pull request #1403 from markshannon/python-builtin-inherit
...
Python points-to: Make sure that builtin-classes inherit attributes.
2019-06-05 17:40:10 +02:00
Max Schaefer
e11406ca90
Merge pull request #1406 from taus-semmle/mergeback-rc/1.21
...
Merge `rc/1.21` into `master`
2019-06-05 16:33:50 +01:00
Mark Shannon
75f87bbeda
Python points-to. If __all__ is overly complex, treat all 'public' symbols as exported.
2019-06-05 14:46:51 +01:00
Taus
f7a092882b
Merge pull request #1405 from markshannon/python-fix-import-analysis
...
Python: Fix up 'import failure' analysis query.
2019-06-05 14:47:09 +02:00
