Parameterize FlowSummaryImpl.qll

This commit is contained in:
Tom Hvitved
2023-10-24 14:51:26 +02:00
parent 41fa39eb7c
commit adc4455f09
2 changed files with 1795 additions and 1371 deletions

View File

@@ -140,6 +140,9 @@ signature module InputSig {
* stored into (`getAStoreContent`) or read from (`getAReadContent`).
*/
class ContentSet {
/** Gets a textual representation of this element. */
string toString();
/** Gets a content that may be stored into when storing into this set. */
Content getAStoreContent();

File diff suppressed because it is too large Load Diff