You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Commit 18fa679
Browse filesBrowse the repository at this point in the historyBrowse files
Copy file name to clipboardExpand all lines: cpp/ql/lib/CHANGELOG.md
+20-10Lines changed: 20 additions & 10 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -1,3 +1,13 @@
1
+
## 6.1.0
2
+
3
+
### New Features
4
+
5
+
* New predicates `getAnExpandedArgument` and `getExpandedArgument` were added to the `Compilation` class, yielding compilation arguments after expansion of response files.
6
+
7
+
### Bug Fixes
8
+
9
+
* Improve performance of the range analysis in cases where it would otherwise take an exorbitant amount of time.
10
+
1
11
## 6.0.1
2
12
3
13
No user-facing changes.
@@ -259,8 +269,8 @@ No user-facing changes.
259
269
260
270
### Breaking Changes
261
271
262
-
* Deleted many deprecated taint-tracking configurations based on `TaintTracking::Configuration`.
263
-
* Deleted many deprecated dataflow configurations based on `DataFlow::Configuration`.
272
+
* Deleted many deprecated taint-tracking configurations based on `TaintTracking::Configuration`.
273
+
* Deleted many deprecated dataflow configurations based on `DataFlow::Configuration`.
264
274
* Deleted the deprecated `hasQualifiedName` and `isDefined` predicates from the `Declaration` class, use `hasGlobalName` and `hasDefinition` respectively instead.
265
275
* Deleted the `getFullSignature` predicate from the `Function` class, use `getIdentityString(Declaration)` from `semmle.code.cpp.Print` instead.
266
276
* Deleted the deprecated `freeCall` predicate from `Alloc.qll`. Use `DeallocationExpr` instead.
@@ -294,7 +304,7 @@ No user-facing changes.
294
304
* A `getTemplateClass` predicate was added to the `DeductionGuide` class to get the class template for which the deduction guide is a guide.
295
305
* An `isExplicit` predicate was added to the `Function` class that determines whether the function was declared as explicit.
296
306
* A `getExplicitExpr` predicate was added to the `Function` class that yields the constant boolean expression (if any) that conditionally determines whether the function is explicit.
297
-
* A `isDestroyingDeleteDeallocation` predicate was added to the `NewOrNewArrayExpr` and `DeleteOrDeleteArrayExpr` classes to indicate whether the deallocation function is a destroying delete.
307
+
* A `isDestroyingDeleteDeallocation` predicate was added to the `NewOrNewArrayExpr` and `DeleteOrDeleteArrayExpr` classes to indicate whether the deallocation function is a destroying delete.
298
308
299
309
### Minor Analysis Improvements
300
310
@@ -372,9 +382,9 @@ No user-facing changes.
372
382
### New Features
373
383
374
384
* Added a `TaintInheritingContent` class that can be extended to model taint flowing from a qualifier to a field.
375
-
* Added a predicate `GuardCondition.comparesEq/4` to query whether an expression is compared to a constant.
385
+
* Added a predicate `GuardCondition.comparesEq/4` to query whether an expression is compared to a constant.
376
386
* Added a predicate `GuardCondition.ensuresEq/4` to query whether a basic block is guarded by an expression being equal to a constant.
377
-
* Added a predicate `GuardCondition.comparesLt/4` to query whether an expression is compared to a constant.
387
+
* Added a predicate `GuardCondition.comparesLt/4` to query whether an expression is compared to a constant.
378
388
* Added a predicate `GuardCondition.ensuresLt/4` to query whether a basic block is guarded by an expression being less than a constant.
379
389
* Added a predicate `GuardCondition.valueControls` to query whether a basic block is guarded by a particular `case` of a `switch` statement.
380
390
@@ -490,7 +500,7 @@ No user-facing changes.
490
500
* Functions that do not return due to calling functions that don't return (e.g. `exit`) are now detected as
491
501
non-returning in the IR and dataflow.
492
502
* Treat functions that reach the end of the function as returning in the IR.
493
-
They used to be treated as unreachable but it is allowed in C.
503
+
They used to be treated as unreachable but it is allowed in C.
494
504
* The `DataFlow::asDefiningArgument` predicate now takes its argument from the range starting at `1` instead of `2`. Queries that depend on the single-parameter version of `DataFlow::asDefiningArgument` should have their arguments updated accordingly.
495
505
496
506
## 0.9.3
@@ -539,7 +549,7 @@ No user-facing changes.
539
549
540
550
### New Features
541
551
542
-
* The `DataFlow::StateConfigSig` signature module has gained default implementations for `isBarrier/2` and `isAdditionalFlowStep/4`.
552
+
* The `DataFlow::StateConfigSig` signature module has gained default implementations for `isBarrier/2` and `isAdditionalFlowStep/4`.
543
553
Hence it is no longer needed to provide `none()` implementations of these predicates if they are not needed.
544
554
545
555
### Minor Analysis Improvements
@@ -733,7 +743,7 @@ No user-facing changes.
733
743
734
744
### Deprecated APIs
735
745
736
-
* Some classes/modules with upper-case acronyms in their name have been renamed to follow our style-guide.
746
+
* Some classes/modules with upper-case acronyms in their name have been renamed to follow our style-guide.
737
747
The old name still exists as a deprecated alias.
738
748
739
749
### New Features
@@ -750,7 +760,7 @@ No user-facing changes.
750
760
751
761
### Deprecated APIs
752
762
753
-
* Many classes/predicates/modules with upper-case acronyms in their name have been renamed to follow our style-guide.
763
+
* Many classes/predicates/modules with upper-case acronyms in their name have been renamed to follow our style-guide.
754
764
The old name still exists as a deprecated alias.
755
765
756
766
### New Features
@@ -849,7 +859,7 @@ No user-facing changes.
849
859
850
860
### Deprecated APIs
851
861
852
-
* Many classes/predicates/modules that had upper-case acronyms have been renamed to follow our style-guide.
862
+
* Many classes/predicates/modules that had upper-case acronyms have been renamed to follow our style-guide.
0 commit comments