[analyzer] Mark getenv output as tainted. (d6bb3227) · Commits · Roger Ferrer / llvm-epi-0.8 · GitLab

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

llvm-epi-0.8
- Activity
- Members
- Releases
- Model registry

Snippets Groups Projects

This is an archived project. Repository and other project resources are read-only.

d6bb3227

Commit d6bb3227 authored 13 years ago by Anna Zaks

Downloads
- Patches
- Plain Diff

[analyzer] Mark getenv output as tainted.

Also, allow adding taint to a region (not only a symbolic value).

llvm-svn: 146532

parent 8f92ce6e

No related branches found

No related tags found

Loading

Changes 3

Hide whitespace changes

Inline Side-by-side

Showing

clang/lib/StaticAnalyzer/Checkers/GenericTaintChecker.cpp 1 addition, 0 deletions

clang/lib/StaticAnalyzer/Checkers/GenericTaintChecker.cpp
clang/lib/StaticAnalyzer/Core/ProgramState.cpp 9 additions, 2 deletions

clang/lib/StaticAnalyzer/Core/ProgramState.cpp
clang/test/Analysis/taint-tester.c 10 additions, 0 deletions

clang/test/Analysis/taint-tester.c

with 20 additions and 2 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment