Learning Type Inference for Enhanced Dataflow Analysis
Paper • 2310.00673 • Published • 1
YAML Metadata Warning:The pipeline tag "text2text-generation" is not in the official list: text-classification, token-classification, table-question-answering, question-answering, zero-shot-classification, translation, summarization, feature-extraction, text-generation, fill-mask, sentence-similarity, text-to-speech, text-to-audio, automatic-speech-recognition, audio-to-audio, audio-classification, audio-text-to-text, voice-activity-detection, depth-estimation, image-classification, object-detection, image-segmentation, text-to-image, image-to-text, image-to-image, image-to-video, unconditional-image-generation, video-classification, reinforcement-learning, robotics, tabular-classification, tabular-regression, tabular-to-text, table-to-text, multiple-choice, text-ranking, text-retrieval, time-series-forecasting, text-to-video, image-text-to-text, image-text-to-image, image-text-to-video, visual-question-answering, document-question-answering, zero-shot-image-classification, graph-ml, mask-generation, zero-shot-object-detection, text-to-3d, image-to-3d, image-feature-extraction, video-text-to-text, keypoint-detection, visual-document-retrieval, any-to-any, video-to-video, other
CodeTIDAL5
We present CodeTIDAL5, a model for type inference on untyped TypeScript / JavaScript!
The model was introduced as part of the paper
Learning Type Inference for Enhanced Dataflow Analysis
Lukas Seidel, Sedick David Baker Effendi, Xavier Pinho, Konrad Rieck, Brink van der Merwe and Fabian Yamaguchi
ESORICS 2023
From the abstract:
We propose CodeTIDAL5, a Transformer-based model trained to reliably
predict type annotations. For effective result retrieval and re-integration,
we extract usage slices from a program’s code property graph.
Comparing our approach against recent neural type inference systems, our
model outperforms the current state-of-the-art by 7.85% on the ManyTypes4TypeScript benchmark, achieving 71.27% accuracy overall.
Intended Use
The model was designed for use with the code analysis platform Joern.
As part of the paper, we devise a system which seemlessly integrates type inference recommendations from the CodeTIDAL5 model in Joern's
Code Property Graphs (CPGs) for enriched context information, aiming at improved taint tracking and dataflow analysis.
An implementation of this approach can be found in the paper's artifact repository:
https://github.com/joernio/joernti-codetidal5
- Downloads last month
- 20