pascal-lab/Tai-e

Issues

• How to correctly taint "%this"?

  #109 opened a month ago by MXWXZ
  5

• Tai-e did not detect any taint flows

  #107 opened a month ago by wangzitom12306
  6

• Null pointer exception when running BenchmarkRunner on benchmark `columba-1.4`

  #106 opened 2 months ago by enochii
  2

• Plugin [id: 'org.gradle.kotlin.kotlin-dsl', version: '4.3.0'] was not found in any of the following sources:

  #104 opened a month ago by zFitness
  6

• Could not resolve java.lang.invoke.StringConcatFactory when test Java9StringConcat

  #108 opened a month ago by hillwangsec
  1

• Have any suggestion for back taint propagation in param var

  #99 opened 3 months ago by hillwangsec
  3

• When using methods such as Map.get(), if the return value is an array, the elements in the array will not be tainted.

  #102 opened 2 months ago by springkill
  4

• question about icfg with ImplicitEntries

  #105 opened 2 months ago by littlejlf
  0

• question about Build IR

  #103 opened 2 months ago by littlejlf
  1

• Are you using Tai-e?

  #66 opened 8 months ago by silverbullettt
  9

• How can I tell if an element in a Map is tainted?

  #92 opened 2 months ago by springkill
  7

• CHA seems slower than context-insensitive pointer analysis

  #95 opened 2 months ago by enochii
  4

• More example?

  #82 opened 2 months ago by SEC-fsq
  1

• What is the support for Java source code? After testing, it was found that some classes did not recognize the method. What are the conditions for Java source code analysis?

  #85 opened 2 months ago by SEC-fsq
  1

• java.lang.RuntimeException: Attempt to create RefType containing ...

  #84 opened 2 months ago by SEC-fsq
  1

• RuntimeException: couldn't find class

  #101 opened 2 months ago by wangzitom12306
  2

• How to resolve taint propagation in type cast

  #96 opened 3 months ago by Raul1718
  7

• Reflection analysis for Method.invoke(Object, Object[]) miss target when the second argument is generated by ArrayList.toArray(T[])

  #100 opened 3 months ago by penguinfirst
  1

• How to config to result[*] rule for return array type in taint analysis

  #98 opened 3 months ago by Raul1718
  1

• How to config to result[*] rule for return array type in taint analysis

  #97 opened 3 months ago by Raul1718
  0

• How to obtain the results of CFGBuilder while writing PTA Plugin code?

  #94 opened 3 months ago by Spr1n9T1me
  2

• Missed in Inter-taint analysis

  #93 opened 3 months ago by SolLupus
  0

• How to handle java generics feature in taint analysis.

  #91 opened 4 months ago by Spr1n9T1me
  2

• Does Tai-e has any plan to support other languages? like C/C++

  #90 opened 4 months ago by Clarence-Liangxu
  1

• License?

  #89 opened 4 months ago by runner02
  1

• Can we find the source point through annotations? For example, I would like to use the parameter of the method with RequestMapping annotation as the source point

  #87 opened 5 months ago by SEC-fsq
  1

• Can the configuration of source and sink support wildcard characters, such as using * to match？

  #86 opened 5 months ago by SEC-fsq
  3

• Duplicated with #82

  #83 opened 5 months ago by SEC-fsq
  1

• Scala language support

  #79 opened 5 months ago by runner02
  1

• InterTaint transfer and invoke issues in Taint Analysis

  #80 opened 5 months ago by hillwangsec
  2

• Plan to support other languages?

  #78 opened 6 months ago by SEC-fsq
  2

• Interface functions of the actual running class Not Displayed in Call Graph

  #77 opened 6 months ago by fangyuan00
  6

• about java-benchmarks log4j configuration

  #75 opened 6 months ago by oicu0619
  9

• Make pointer analysis only/not analyze the specified packages/classes/methods

  #76 opened 7 months ago by houanran-hzh
  4

• How to configure Taint Transfer for such case?

  #72 opened 6 months ago by 75ACOL
  7

• Enhance support for array taint obj in taint config

  #73 opened 6 months ago by 75ACOL
  3

• SootField Failed to be converted to JField because of Signature Problem

  #71 opened 7 months ago by lollipop190
  2

• A little question about the args to construct call graph

  #70 opened 7 months ago by cshezhang
  1

• About reference type casting in taint propagation

  #74 opened 7 months ago by MatthewXY01
  2

• Pointer Analysis for Specific Elements in JAR Files and Execution Time Tracking

  #68 opened 7 months ago by IOExceptionOI
  1

• The CLI output detected the taint flow, but no flow in the dot file.

  #69 opened 7 months ago by Reclu3e
  3

• About field initializer in class

  #63 opened 7 months ago by ShiningChuang
  3

• Replacing / manipulating IR of methods in "world"

  #67 opened 8 months ago by staslath
  6

• "pascal.taie.analysis.graph.icfg.ICFGBuilder.getCFGOf(pascal.taie.language.classes.JMethod)" is null

  #64 opened 8 months ago by lollipop190
  6

• Context Sensitivity without Contexts (CUT-SHORTCUT)

  #62 opened 8 months ago by michaelphop
  1

• Program doesn't end

  #61 opened 9 months ago by runner02
  2

• A question about C++ language support

  #65 opened 9 months ago by anabioticsoul
  2

• Phantom class creation

  #60 opened 10 months ago by michaelphop
  1

• Missing model Object.getClass()

  #59 opened 10 months ago by michaelphop
  1

• JDK exclusion

  #58 opened 10 months ago by michaelphop
  1