Page Menu
Home
Xreate
Search
Configure Global Search
Log In
Docs
Questions
Repository
Issues
Patches
Internal API
Files
F3995280
test1-fixture.lp
No One
Temporary
Actions
View File
Edit File
Delete File
View Transforms
Subscribe
Mute Notifications
Subscribers
None
File Metadata
Details
File Info
Storage
Attached
Created
Tue, Jul 7, 12:29 AM
Size
1 KB
Mime Type
text/plain
Expires
Thu, Jul 9, 12:29 AM (6 h, 58 m)
Engine
blob
Format
Raw Data
Handle
270807
Attached To
rXR Xreate
test1-fixture.lp
View Options
function(test1).
bind_func(test1, entry).
function(appendA; appendB; append).
scope(0..3).
%scope tags: no tags at all
% Static analysis: CFA
cfa_parent(0, function(test1)).
cfa_parent(1, function(appendA)).
cfa_parent(2, function(appendB)).
cfa_parent(3, function(append)).
cfa_call(0, appendA).
cfa_call(0, appendB).
cfa_call(1, append).
cfa_call(2, append).
% Static analysis: DFA
dfa_connection((2, 3), (anonym(0), 1), weak). %append:msg - anonym(0)
dfa_connection((3, 3), (anonym(1), 1), weak). %append:filename - anonym(1)
dfa_connection((0, 1), (0, 3), strong). %appendA: *retv - append: *retv
dfa_connection((2, 3), (anonym(2), 2), weak). %append:msg - anonym(2)
dfa_connection((3, 3), (anonym(3), 2), weak). %append:filename - anonym(3)
dfa_connection((0, 2), (0, 3), strong). %appendB: *retv - append: *retv
v((anonym(0), 1)). %anonym(0)
v((anonym(1), 1)). %anonym(1)
v((0, 2)). %appendB: *retv
v((anonym(2), 2)). %anonym(2)
v((anonym(3), 2)). %anonym(3)
v((0, 3)). %append: *retv
v((2, 3)). %append:msg
v((3, 3)). %append:filename
cfa_forwdom(0, range(0, 7)).
cfa_forwdom(1, range(1, 2)).
cfa_forwdom(2, range(5, 6)).
cfa_forwdom(3, range(3, 4)).
cfa_postdom(0, range(3, 4)).
cfa_postdom(1, range(1, 2)).
cfa_postdom(2, range(5, 6)).
cfa_postdom(3, range(0, 7)).
% EXPLOITATION TAGS:
bind((3,3), exploitation_initialized(file)).
% BIND ACTUAL DATA FOR STATIC SYMBOLS
bind((anonym(0), 1), static(data(a))). %anonym(0)
bind((anonym(1), 1), static(data(tmp_test1_txt))). %anonym(1)
bind((anonym(2), 2), static(data(b))). %anonym(2)
bind((anonym(3), 2), static(data(tmp_test1_txt))). %anonym(3)
Event Timeline
Log In to Comment