infer_clone

Commit Graph

Author	SHA1	Message	Date
Jules Villard	2e4fbb7fe5	[pulse] intervals! Summary: This adds a more interesting value domain to pulse: concrete intervals. There are still two main limitations: 1. arithmetic operations are all over-approximated: any assignment involving arithmetic operations is replaced by non-determinism 2. abstract values that are discovered to be equal are not merged into one Reviewed By: skcho Differential Revision: D18058972 fbshipit-source-id: 0492a590f	6 years ago
Jules Villard	3ac8e27062	[pulse] use constant equality to prune unfeasible paths Summary: When we know "x = 3" and we have a condition "x != 3" we know we can prune the corresponding path. Reviewed By: skcho Differential Revision: D17665472 fbshipit-source-id: 988958ea6	6 years ago

Author

SHA1

Message

Date

Jules Villard

2e4fbb7fe5

[pulse] intervals!

Summary:
This adds a more interesting value domain to pulse: concrete intervals.

There are still two main limitations:
1. arithmetic operations are all over-approximated: any assignment involving arithmetic operations is replaced by non-determinism
2. abstract values that are discovered to be equal are not merged into one

Reviewed By: skcho

Differential Revision: D18058972

fbshipit-source-id: 0492a590f

Jules Villard

3ac8e27062

[pulse] use constant equality to prune unfeasible paths

Summary:
When we know "x = 3" and we have a condition "x != 3" we know we can
prune the corresponding path.

Reviewed By: skcho

Differential Revision: D17665472

fbshipit-source-id: 988958ea6

2 Commits (e7874c74f46b6523641f76f29696bff3bb11f878)