Skip to content

Commit

Permalink
Add AnalysisModelPlugin and IRModelPlugin to CHANGELOG.md
Browse files Browse the repository at this point in the history
  • Loading branch information
silverbullettt committed Jan 15, 2024
1 parent 8a4c816 commit 9950155
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# Changelog

## [Unreleased] - 2024-01-13
## [Unreleased] - 2024-01-15

### New Features
- Add side-effect analysis.
Expand All @@ -10,13 +10,15 @@
- Support specifying multiple method signatures in one `@InvokeHandler` annotation.
- Add `getInfo()` to call graph edges and pointer flow edges.
- Add pointer analysis assertion mechanism.
- Add `pascal.taie.analysis.pta.plugin.util.AnalysisModelPlugin`and `IRModelPlugin` to replace original `Model` and `IRModel`, provide more convenient interfaces to support `@InvokeHandler`.
- Taint analysis
- Support specifying IndexRef (e.g., `index: "0[*]"` and `index: "0.f"`) in call sources and parameter sources.
- Support specifying IndexRef in sinks.

### Breaking Changes
- API changes
- Change `Solver.addPFGEdge(Pointer,Pointer,FlowKind,Type)` and `Solver.addPFGEdge(Pointer,Pointer,FlowKind,Transfer)` to `Solver.addPFGEdge(PointerFlowEdge)` and related APIs.
- Deprecate `pascal.taie.analysis.pta.plugin.util.Model` and `IRModel` (these two interfaces are currently preserved for compatibility, and will be removed in the future).

## [0.2.2] - 2023-09-23

Expand Down

0 comments on commit 9950155

Please sign in to comment.