<s> import nose <EOL> import logging <EOL> l = logging . getLogger ( "<STR_LIT>" ) <EOL> import angr <EOL> import os <EOL> test_location = str ( os . path . dirname ( os . path . realpath ( __file__ ) ) ) <EOL> never_nolibs = None <EOL> def setup_module ( ) : <EOL> global never_nolibs <EOL> never_nolibs = angr . Project ( test_location + "<STR_LIT>" ) <EOL> def test_static ( ) : <EOL> s = never_nolibs . path_generator . blank_path ( address = <NUM_LIT> , mode = '<STR_LIT>' ) <EOL> nose . tools . assert_equal ( len ( s . successors ) , <NUM_LIT:2> ) <EOL> num_reachable = sum ( map ( lambda x : x . reachable , s . successors ) ) <EOL> nose . tools . assert_equal ( num_reachable , <NUM_LIT:2> ) <EOL> return s <EOL> def test_concrete_exits1 ( ) : <EOL> s_main = never_nolibs . path_generator . blank_path ( address = <NUM_LIT> , mode = '<STR_LIT>' ) <EOL> nose . tools . assert_equal ( s_main . successors , <NUM_LIT:2> ) <EOL> num_reachable = sum ( map ( lambda x : x . reachable , s_main . successors ) ) <EOL> nose . tools . assert_equal ( num_reachable , <NUM_LIT:1> ) <EOL> def test_static_got_refs ( ) : <EOL> s_printf_stub = never_nolibs . path_generator . blank_path ( address = <NUM_LIT> , mode = "<STR_LIT>" ) <EOL> nose . tools . assert_equal ( len ( s_printf_stub . successors ) , <NUM_LIT:1> ) <EOL> if __name__ == '<STR_LIT:__main__>' : <EOL> try : <EOL> __import__ ( '<STR_LIT>' ) <EOL> __import__ ( '<STR_LIT>' ) <EOL> except ImportError : <EOL> pass <EOL> setup_module ( ) <EOL> test_static ( ) <EOL> test_static_got_refs ( ) <EOL> test_concrete_exits1 ( ) </s>
