ant-application-security-testing-benchmark icon indicating copy to clipboard operation
ant-application-security-testing-benchmark copied to clipboard

Published 20 hours ago • verified publisher icon alipay

Improve: Supplement Testcases for Java-SAST/Engine-Analysis-Capability by FEYSH-2

Open Feysh-Inc opened this issue 7 months ago • 0 comments

二阶段计划：

  • 准确度
    • 对象敏感
      • 别名是否被污染
    • 上下文敏感
  • AST节点枚举传播场景
    • 表达式
  • 污点对象的完整度
    • java原生对象
      • 数组

详细：

  • accuracy
    • contextSensitive
      • DifferentParamsForFunction_001_T.java
      • DifferentParamsForFunction_002_F.java
      • DifferentParamsForFunction_003_T.java
      • DifferentParamsForFunction_004_F.java
      • HeapAllocSite_001_T.java
      • HeapAllocSite_002_F.java
      • MultiCallSite_001_T.java
    • objectSensitive
      • AccessPathChainAlias_001_T.java
      • AccessPathChainAlias_002_F.java
      • AccessPathChainAlias_003_T.java
      • AccessPathChainAlias_004_F.java
      • FieldUnAlias_001_F.java
      • FieldUnAlias_002_T.java
      • FieldUnAlias_003_T.java
      • FieldUnAlias_004_F.java
      • FlowSensitiveAlias_001_T.java
      • FlowSensitiveAlias_002_F.java
      • FlowSensitiveAlias_003_T.java
      • FlowSensitiveAlias_004_F.java
      • HeapOverwriteAlias_001_T.java
      • HeapOverwriteAlias_002_F.java
      • HeapOverwriteAlias_003_T.java
      • HeapOverwriteAlias_004_F.java
      • HeapOverwriteAlias_005_T.java
      • HeapOverwriteAlias_006_F.java
      • HeapOverwriteAlias_007_T.java
      • HeapOverwriteAlias_008_T.java
      • HeapOverwriteAlias_009_F.java
      • HeapOverwriteAlias_010_T.java
      • HeapOverwriteAlias_011_T.java
      • HeapOverwriteAlias_012_F.java
      • HeapOverwriteAlias_013_T.java
      • HeapOverwriteAlias_014_F.java
      • HeapOverwriteAlias_015_T.java
      • HeapOverwriteAlias_016_F.java
      • HeapOverwriteAlias_017_T.java
      • HeapOverwriteAlias_018_F.java
      • HeapPointsToSelfAlias_001_T.java
      • HeapPointsToSelfAlias_002_F.java
      • InnerClassAlias_001_T.java
      • InnerClassAlias_002_F.java
      • InnerClassAlias_003_F.java
      • InnerClassAlias_004_F.java
      • InnerClassAlias_005_T.java
      • InnerClassAlias_006_T.java
      • InnerClassAlias_007_T.java
      • InnerClassAlias_008_F.java
      • InnerClassAlias_009_T.java
      • InnerClassAlias_010_F.java
      • InterproceduralAlias_001_T.java
      • InterproceduralAlias_002_F.java
      • IntraproceduralAlias_001_T.java
      • IntraproceduralAlias_002_F.java
      • NullAlias_001_T.java
      • NullAlias_002_F.java
      • ObjectCanBeAssigned_001_T.java
      • ObjectCanBeAssigned_002_F.java
      • ObjectCanBeAssigned_003_F.java
      • PrimitiveFieldAccess_001_T.java
      • PrimitiveFieldAccess_002_F.java
      • PrimitiveFieldAccess_003_T.java
      • PrimitiveFieldAccess_004_F.java
      • ReturnAlias_001_T.java
      • ReturnAlias_002_F.java
      • ReturnAlias_003_T.java
      • ReturnAlias_004_F.java
      • SameArgumentAlias_001_T.java
      • SameArgumentAlias_002_F.java
      • SingleFieldAccessAlias_001_T.java
      • SingleFieldAccessAlias_002_F.java
      • StaticFieldAlias_001_T.java
      • StaticFieldAlias_002_F.java
  • completeness\base
    • chain\astTaint
      • Expression_CastExpression_001_T.java
      • Statement_IfStatement_002_T.java
      • Statement_IfStatement_003_T.java
    • object\javaNative
      • Base_ArrayAccess_005_T.java
      • Base_ArrayAccess_006_F.java
      • Base_ArrayAccess_007_T.java
      • Base_ArrayAccess_008_T.java
      • Base_ArrayAccess_009_F.java
      • Base_ArrayAccess_010_F.java
      • Base_ArrayAccessWithArrayLength_001_T.java
      • Base_ArrayAccessWithArrayLength_002_F.java
      • Base_ArrayAccessWithArrayLength_003_T.java
      • Base_MutableArrayAccess_001_T.java
      • Base_MutableArrayAccess_002_F.java
      • Base_MutableArrayAccess_003_T.java
      • Base_MutableArrayAccess_004_F.java

Feysh-Inc avatar Jul 03 '24 06:07 Feysh-Inc