Module Streamlit
Provides classes modeling security-relevant aspects of the streamlit PyPI package.
See https://pypi.org/project/streamlit/.
Import path
import semmle.python.frameworks.StreamlitImports
| ApiGraphs | Provides an implementation of API graphs, which are an abstract representation of the API surface used and/or defined by a code base. |
| Concepts | Provides abstract classes representing generic concepts such as file system access or system command execution, for which individual framework libraries provide concrete subclasses. |
| RemoteFlowSources | Provides an extension point for modeling user-controlled data. Such data is often used as data-flow sources in security queries. |
| TaintTracking | Provides classes for performing local (intra-procedural) and global (inter-procedural) taint-tracking analyses. |
| python |
Modules
| Streamlit | Provides models for the |