Feysh
Results
2
issues of
Feysh
二阶段计划： - 准确度 - 对象敏感 - 别名是否被污染 - 上下文敏感 - AST节点枚举传播场景 - 表达式 - 污点对象的完整度 - java原生对象 - 数组 详细： - accuracy - contextSensitive - DifferentParamsForFunction_001_T.java - DifferentParamsForFunction_002_F.java - DifferentParamsForFunction_003_T.java...
三阶段计划： - 准确度 - 对象敏感 - 别名是否被污染 - BaseAlias - FieldAlias - HeapContextAlias - HeapOverwriteAlias - HeapPointsToSelfAlias - InnerClassAlias - MultiFieldAccessAlias - 上下文敏感 - 相同函数调用不同参数 - HeapAllocSite - MultipleCallSite -...