|
1 | 1 | import sys
|
2 | 2 | import os
|
3 | 3 |
|
4 |
| -sys.path.append(os.path.dirname(os.path.dirname((__file__)))) # $ unresolved_call=os.path.dirname(..) unresolved_call=sys.path.append(..) |
| 4 | +sys.path.append(os.path.dirname(os.path.dirname((__file__)))) # $ unresolved_call=sys.path.append(..) |
5 | 5 | from testlib import expects
|
6 | 6 |
|
7 | 7 | # These are defined so that we can evaluate the test code.
|
@@ -210,40 +210,40 @@ def test_global_scope():
|
210 | 210 |
|
211 | 211 | # apparently these if statements below makes a difference :O
|
212 | 212 | # but one is not enough
|
213 |
| -cond = os.urandom(1)[0] > 128 # $ unresolved_call=os.urandom(..) |
| 213 | +cond = os.urandom(1)[0] > 128 |
214 | 214 |
|
215 | 215 | if cond:
|
216 | 216 | pass
|
217 | 217 |
|
218 | 218 | # def test_constructor_assign():
|
219 |
| -obj2 = MyObj(SOURCE) # $ unresolved_call=MyObj(..) |
220 |
| -SINK(obj2.foo) # $ unresolved_call=SINK(..) MISSING: flow="SOURCE, l:-1 -> obj2.foo" |
| 219 | +obj2 = MyObj(SOURCE) |
| 220 | +SINK(obj2.foo) # $ flow="SOURCE, l:-1 -> obj2.foo" |
221 | 221 |
|
222 | 222 | if cond:
|
223 | 223 | pass
|
224 | 224 |
|
225 | 225 | # def test_constructor_assign():
|
226 |
| -obj2 = MyObj(SOURCE) # $ unresolved_call=MyObj(..) |
227 |
| -SINK(obj2.foo) # $ unresolved_call=SINK(..) MISSING: flow="SOURCE, l:-1 -> obj2.foo" |
| 226 | +obj2 = MyObj(SOURCE) |
| 227 | +SINK(obj2.foo) # $ flow="SOURCE, l:-1 -> obj2.foo" |
228 | 228 |
|
229 | 229 | # def test_constructor_assign_kw():
|
230 |
| -obj3 = MyObj(foo=SOURCE) # $ unresolved_call=MyObj(..) |
231 |
| -SINK(obj3.foo) # $ unresolved_call=SINK(..) MISSING: flow="SOURCE, l:-1 -> obj3.foo" |
| 230 | +obj3 = MyObj(foo=SOURCE) |
| 231 | +SINK(obj3.foo) # $ flow="SOURCE, l:-1 -> obj3.foo" |
232 | 232 |
|
233 | 233 | # def test_fields():
|
234 |
| -SINK(fields_with_local_flow(SOURCE)) # $ unresolved_call=fields_with_local_flow(..) unresolved_call=SINK(..) MISSING: flow="SOURCE -> fields_with_local_flow(..)" |
| 234 | +SINK(fields_with_local_flow(SOURCE)) # $ flow="SOURCE -> fields_with_local_flow(..)" |
235 | 235 |
|
236 | 236 | # --------------------------------------
|
237 | 237 | # method calls _after_ those ifs
|
238 | 238 | # --------------------------------------
|
239 | 239 |
|
240 | 240 | # def test_indirect_assign_method():
|
241 |
| -myobj2 = MyObj("OK") # $ unresolved_call=MyObj(..) |
242 |
| -myobj2.setFoo(SOURCE) # $ unresolved_call=myobj2.setFoo(..) |
243 |
| -SINK(myobj2.foo) # $ unresolved_call=SINK(..) MISSING: flow="SOURCE, l:-1 -> myobj2.foo" |
| 241 | +myobj2 = MyObj("OK") |
| 242 | +myobj2.setFoo(SOURCE) |
| 243 | +SINK(myobj2.foo) # $ flow="SOURCE, l:-1 -> myobj2.foo" |
244 | 244 |
|
245 | 245 | # def test_nested_obj_method():
|
246 | 246 | x2 = SOURCE
|
247 |
| -a2 = NestedObj() # $ unresolved_call=NestedObj() |
248 |
| -a2.getObj().foo = x2 # $ unresolved_call=a2.getObj() |
249 |
| -SINK(a2.obj.foo) # $ unresolved_call=SINK(..) MISSING: flow="SOURCE, l:-3 -> a2.obj.foo" |
| 247 | +a2 = NestedObj() |
| 248 | +a2.getObj().foo = x2 |
| 249 | +SINK(a2.obj.foo) # $ flow="SOURCE, l:-3 -> a2.obj.foo" |
0 commit comments