Issues

• Better Forward Backward Abstraction

  type: question
  pascal-lab/Tai-e#216 · Filter by author hsqStephenZhang opened on Feb 24, 2026

• Taint propagation is blocked due to a reversed subtype check

  type: enhancementtype: question
  pascal-lab/Tai-e#214 · Filter by author yyzzcchh opened on Jan 16, 2026
  4

• About Micans

  type: question
  pascal-lab/Tai-e#212 · Filter by author for-just-we opened on Nov 17, 2025
  8

  

• Asking for mechanisms to efficiently dump and restore intermediate PTA results

  type: enhancement
  pascal-lab/Tai-e#208 · Filter by author jjppp opened on Oct 25, 2025

• Support for Interprocedural Null Pointer Analysis in Tai-e

  type: question
  pascal-lab/Tai-e#207 · Filter by author thatsSudhanshu opened on Sep 18, 2025

• Jmethod of inteface could not get param annotaion

  status: waiting-for-feedbacktype: bug
  pascal-lab/Tai-e#199 · Filter by author sundlb opened on Aug 30, 2025
  1

  

• Temp variables not cleared when reinitializing in interactive mode of taint analysis

  for: team-meetingtype: bug
  pascal-lab/Tai-e#187 · Filter by author zhangt2333 opened on Aug 11, 2025
  1

  

• Diagnostic Package Generation for Issue Reporting

  for: team-meetingtype: enhancement
  pascal-lab/Tai-e#186 · Filter by author zhangt2333 opened on Aug 9, 2025
  2

• [Discussion] Reconsider the use of assert for input validation in our codebase

  for: team-meetingtype: task
  pascal-lab/Tai-e#185 · Filter by author zhangt2333 opened on Aug 9, 2025
  4

• A Clearer Timing/Logging Format in tai-e.log

  status: feedback-providedtype: enhancement
  pascal-lab/Tai-e#181 · Filter by author Michael1015198808 opened on Aug 6, 2025
  1

  

• Questions about Tai-e's APIs and implementations of callgraphs

  for: team-meetingtype: question
  pascal-lab/Tai-e#175 · Filter by author jjppp opened on Jul 19, 2025
  1

• When the log4shell vulnerability is reproduced, the generated TFG graph has missing nodes

  status: feedback-providedtype: questiontype: regression
  pascal-lab/Tai-e#168 · Filter by author qiaoqianlong opened on Jun 23, 2025
  4

• a bug of null key for addVarPointsTo

  type: bug
  pascal-lab/Tai-e#158 · Filter by author FoggyDawn opened on May 23, 2025

• a bug of CHA CG builder

  status: feedback-providedtype: bug
  pascal-lab/Tai-e#156 · Filter by author FoggyDawn opened on May 23, 2025
  1

  

• One EntryPoint’s result is different from all EntryPoint's results

  type: question
  pascal-lab/Tai-e#153 · Filter by author cyjhhh opened on May 14, 2025
  1

• Tai-e detects a wrong taintflow

  status: feedback-providedtype: question
  pascal-lab/Tai-e#144 · Filter by author SevenCold777 opened on Mar 13, 2025
  1

• what is the role of ParamProvider in EntryPoint and what are the principles for building a suitable ParamProvider?

  status: feedback-providedtype: question
  pascal-lab/Tai-e#141 · Filter by author galaxyzen opened on Mar 5, 2025
  1

• Question Cut-Shortcut

  type: question
  pascal-lab/Tai-e#132 · Filter by author for-just-we opened on Dec 5, 2024
  1

• Will Tai-e support Android APK analysis?

  type: enhancement
  pascal-lab/Tai-e#130 · Filter by author fengdai opened on Nov 26, 2024
  3

  

• why cfg dose not include getFilters()?

  type: question
  pascal-lab/Tai-e#129 · Filter by author xiziyunqi105 opened on Nov 25, 2024
  3

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

  pascal-lab/Tai-e#100 · Filter by author penguinfirst opened on Apr 8, 2024
  1

• Are you using Tai-e?

  pascal-lab/Tai-e#66 · Filter by author silverbullettt opened on Oct 22, 2023
  12