Custom dataflow and pass to workaround race conditions

AppThreat / atom

Atom is a novel intermediate representation for applications and a standalone tool that is powered by chen.

https://appthreat.com

Apache License 2.0

52 stars 2 forks source link

Custom dataflow and pass to workaround race conditions #33

Closed prabhu closed 1 year ago

prabhu commented 1 year ago

This PR adds a custom dataflow pass with a custom cpg pass SafeConcurrentCpgPass that sets queue size to 1 as a workaround for some pending race condition bugs.

There is a upstream error related to astgen detection on windows. Once this PR gets merged, joern version used by atom has to be updated.

https://github.com/joernio/joern/pull/2879