bin/symbiotic --witness witness.graphml --no-slice --no-prepare --prp=../sv-benchmarks/c/Systems_DeviceDriversLinux64_ReachSafety.prp ../sv-benchmarks/c/ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c


--------------------------------------------------------------------------------


5.0.0-KLEE:86e6f6f8-dg:03407af1-symbiotic:a8aa8ad6-minisat:3db58943-stp:17249213-sbt-instrumentation:dd7e4312
INFO: After compilation stats: Globals/Functions/Blocks/Instr.: 914 658 5836 37321
Removed infinite loop in arch_local_save_flags
Removed infinite loop in dma_unmap_page
Removed infinite loop in dma_unmap_single_attrs
Removed infinite loop in dma_map_single_attrs
Removed infinite loop in dma_sync_single_for_cpu
Removed infinite loop in dma_sync_single_for_device
Removed infinite loop in iwl_pcie_rxq_alloc_rbs
Removed infinite loop in iwl_pcie_rxq_restock
Removed infinite loop in dma_map_page
Removed infinite loop in get_page
INFO: Compilation, preparation and instrumentation time: 1.26954388618
Removed calls to '_raw_spin_unlock_irqrestore' (function is undefined)
Defining function _raw_spin_lock_irqsave as symbolic
Removed calls to 'lockdep_rcu_suspicious' (function is undefined)
Defining function debug_lockdep_rcu_enabled as symbolic
Defining function rcu_is_cpu_idle as symbolic
Defining function rcu_lockdep_current_cpu_online as symbolic
Defining function lock_is_held as symbolic
Removed calls to 'wait_for_completion' (function is undefined)
Removed calls to 'list_del' (function is undefined)
Removed calls to 'debugfs_remove_recursive' (function is undefined)
Removed calls to 'free_irq' (function is undefined)
Removed calls to 'pci_disable_msi' (function is undefined)
Removed calls to 'iounmap' (function is undefined)
Removed calls to 'pci_release_regions' (function is undefined)
Removed calls to 'pci_disable_device' (function is undefined)
Removed calls to 'kmem_cache_destroy' (function is undefined)
Defining function dev_set_drvdata as symbolic
Removed calls to 'warn_slowpath_null' (function is undefined)
Removed calls to 'debug_dma_free_coherent' (function is undefined)
Removed calls to '__free_pages' (function is undefined)
Removed calls to '__list_add' (function is undefined)
Removed calls to 'debug_dma_unmap_page' (function is undefined)
Defining function net_ratelimit as symbolic
Removed calls to '_raw_spin_lock_bh' (function is undefined)
Removed calls to '_raw_spin_unlock_bh' (function is undefined)
Defining function del_timer_sync as symbolic
Defining function dev_err as symbolic
Removed calls to '__might_sleep' (function is undefined)
Removed calls to 'vfree' (function is undefined)
Removed calls to 'mutex_lock' (function is undefined)
Removed calls to 'mutex_unlock' (function is undefined)
Defining function dev_get_drvdata as symbolic
Removed calls to '__raw_spin_lock_init' (function is undefined)
Removed calls to '__init_waitqueue_head' (function is undefined)
Removed calls to 'pci_disable_link_state' (function is undefined)
Removed calls to 'pci_set_master' (function is undefined)
Defining function debugfs_create_dir as symbolic
Defining function sprintf as symbolic
Removed calls to 'print_hex_dump' (function is undefined)
Removed calls to 'release_firmware' (function is undefined)
Removed calls to 'complete' (function is undefined)
Removed calls to 'device_release_driver' (function is undefined)
Defining function request_firmware_nowait as symbolic
Defining function __request_module as symbolic
Defining function vmalloc as symbolic
Defining function _dev_info as symbolic
Defining function snprintf as symbolic
Defining function pci_enable_device as symbolic
Defining function pci_request_regions as symbolic
Defining function pci_ioremap_bar as symbolic
Defining function pci_enable_msi_block as symbolic
Defining function kmem_cache_create as symbolic
Defining function pci_bus_write_config_word as symbolic
Defining function pci_bus_read_config_word as symbolic
Defining function pci_bus_write_config_byte as symbolic
Defining function dma_supported as symbolic
Defining function dma_set_mask as symbolic
Removed calls to 'tasklet_init' (function is undefined)
Removed calls to 'tasklet_kill' (function is undefined)
Removed calls to 'prepare_to_wait' (function is undefined)
Removed calls to 'finish_wait' (function is undefined)
Removed calls to '__const_udelay' (function is undefined)
Removed calls to 'synchronize_irq' (function is undefined)
Removed calls to 'free_pages' (function is undefined)
Removed calls to '_raw_spin_lock' (function is undefined)
Removed calls to 'warn_slowpath_fmt' (function is undefined)
Removed calls to 'debug_dma_sync_single_for_cpu' (function is undefined)
Removed calls to 'debug_dma_sync_single_for_device' (function is undefined)
Removed calls to '_raw_spin_unlock' (function is undefined)
Removed calls to 'msleep' (function is undefined)
Defining function msecs_to_jiffies as symbolic
Defining function debugfs_create_file as symbolic
Defining function del_timer as symbolic
Defining function mod_timer as symbolic
Defining function ieee80211_hdrlen as symbolic
Removed calls to 'debug_dma_map_page' (function is undefined)
Removed calls to 'debug_dma_mapping_error' (function is undefined)
Defining function __phys_addr as symbolic
Defining function autoremove_wake_function as symbolic
Defining function schedule_timeout as symbolic
Defining function jiffies_to_msecs as symbolic
Defining function kmemdup as symbolic
Defining function cancel_work_sync as symbolic
Defining function dev_warn as symbolic
Removed calls to 'usleep_range' (function is undefined)
Removed calls to 'debug_dma_alloc_coherent' (function is undefined)
Removed calls to '__init_work' (function is undefined)
Removed calls to 'lockdep_init_map' (function is undefined)
Removed calls to 'init_timer_key' (function is undefined)
Defining function schedule_work as symbolic
Defining function dev_crit as symbolic
Defining function alloc_pages_current as symbolic
Defining function pcie_capability_read_word as symbolic
Removed calls to '__wake_up' (function is undefined)
Removed calls to '__tasklet_schedule' (function is undefined)
Defining function request_threaded_irq as symbolic
Defining function __get_page_tail as symbolic
Defining function scnprintf as symbolic
Defining function generic_file_llseek as symbolic
Defining function simple_open as symbolic
Defining function simple_read_from_buffer as symbolic
Removed calls to 'might_fault' (function is undefined)
Defining function sscanf as symbolic
Defining function _copy_from_user as symbolic
Removed calls to 'local_bh_disable' (function is undefined)
Removed calls to 'local_bh_enable' (function is undefined)
Defining function mutex_trylock as symbolic
Removed calls to 'pci_unregister_driver' (function is undefined)
Removed calls to '__mutex_init' (function is undefined)
Defining function ftrace_event_reg as symbolic
Defining function trace_event_raw_init as symbolic
Defining function trace_define_field as symbolic
Defining function trace_seq_printf as symbolic
Defining function ldv_iwl_dbgfs_interrupt_ops_release_43 as symbolic
Defining function ldv_trans_ops_pcie_release_37 as symbolic
Defining function ldv_trans_ops_pcie_probe_37 as symbolic
Defining function ldv_iwl_dev_pm_ops_suspend_late_45 as symbolic
Defining function ldv_iwl_dev_pm_ops_restore_early_45 as symbolic
Defining function ldv_iwl_dev_pm_ops_resume_early_45 as symbolic
Defining function ldv_iwl_dev_pm_ops_thaw_early_45 as symbolic
Defining function ldv_iwl_dev_pm_ops_resume_noirq_45 as symbolic
Defining function ldv_iwl_dev_pm_ops_freeze_noirq_45 as symbolic
Defining function ldv_iwl_dev_pm_ops_prepare_45 as symbolic
Defining function ldv_iwl_dev_pm_ops_freeze_late_45 as symbolic
Defining function ldv_iwl_dev_pm_ops_thaw_noirq_45 as symbolic
Defining function ldv_iwl_dev_pm_ops_poweroff_noirq_45 as symbolic
Defining function ldv_iwl_dev_pm_ops_poweroff_late_45 as symbolic
Defining function ldv_iwl_dev_pm_ops_restore_noirq_45 as symbolic
Defining function ldv_iwl_dev_pm_ops_suspend_noirq_45 as symbolic
Defining function ldv_iwl_dev_pm_ops_complete_45 as symbolic
Defining function ldv_iwl_dbgfs_fw_restart_ops_release_38 as symbolic
Defining function ldv_iwl_dbgfs_rx_queue_ops_release_41 as symbolic
Defining function ldv_iwl_dbgfs_csr_ops_release_39 as symbolic
Defining function printk as symbolic
Defining function __pci_register_driver as symbolic
Defining function ldv_iwl_dbgfs_fh_reg_ops_release_42 as symbolic
Defining function ldv_iwl_dbgfs_tx_queue_ops_release_40 as symbolic
Defining function ieee80211_channel_to_frequency as symbolic
Defining function nla_parse as symbolic
Removed calls to 'kfree_skb' (function is undefined)
Defining function nla_put as symbolic
Linked our definitions to these undefined functions:
  strcmp
  strcpy
  __kmalloc
  __memcpy
  kfree
  __VERIFIER_error
  __VERIFIER_make_symbolic
  __VERIFIER_malloc0
  __VERIFIER_nondet_int_named
INFO: After-slicing optimizations and preparation time: 1.18809390068
INFO: Before verification stats: Globals/Functions/Blocks/Instr.: 1094 460 3156 19216
INFO: Starting verification
KLEE: WARNING ONCE: function "iwl_read32" has inline asm
KLEE: WARNING ONCE: function "iwl_write32" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock_sched_held" has inline asm
KLEE: WARNING ONCE: function "arch_local_save_flags" has inline asm
KLEE: WARNING ONCE: function "__iwl_dbg" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock_sched_held___0" has inline asm
KLEE: WARNING ONCE: function "__iwl_err" has inline asm
KLEE: WARNING ONCE: function "dma_unmap_single_attrs" has inline asm
KLEE: WARNING ONCE: function "__iwl_info" has inline asm
KLEE: WARNING ONCE: function "iwl_read32___3" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock_sched_held___4" has inline asm
KLEE: WARNING ONCE: function "iwl_trans_pcie_start_fw" has inline asm
KLEE: WARNING ONCE: function "iwl_trans_pcie_stop_device" has inline asm
KLEE: WARNING ONCE: function "iwl_trans_pcie_send_hcmd" has inline asm
KLEE: WARNING ONCE: function "iwl_trans_pcie_tx" has inline asm
KLEE: WARNING ONCE: function "iwl_trans_pcie_reclaim" has inline asm
KLEE: WARNING ONCE: function "iwl_trans_pcie_txq_enable" has inline asm
KLEE: WARNING ONCE: function "iwl_trans_pcie_txq_disable" has inline asm
KLEE: WARNING ONCE: function "iwl_trans_pcie_write8" has inline asm
KLEE: WARNING ONCE: function "iwl_trans_pcie_write32" has inline asm
KLEE: WARNING ONCE: function "iwl_trans_pcie_read32" has inline asm
KLEE: WARNING ONCE: function "iwl_trans_pcie_read_prph" has inline asm
KLEE: WARNING ONCE: function "iwl_trans_pcie_write_prph" has inline asm
KLEE: WARNING ONCE: function "iwl_trans_pcie_set_pmi" has inline asm
KLEE: WARNING ONCE: function "iwl_write32___3" has inline asm
KLEE: WARNING ONCE: function "iwl_enable_interrupts___0" has inline asm
KLEE: WARNING ONCE: function "__iwl_write_prph" has inline asm
KLEE: WARNING ONCE: function "__iwl_read_prph" has inline asm
KLEE: WARNING ONCE: function "dma_map_single_attrs" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock_sched_held___1" has inline asm
KLEE: WARNING ONCE: function "iwl_pcie_txq_inc_wr_ptr" has inline asm
KLEE: WARNING ONCE: function "iwl_write32___2" has inline asm
KLEE: WARNING ONCE: function "iwl_pcie_enqueue_hcmd" has inline asm
KLEE: WARNING ONCE: function "iwl_disable_interrupts___0" has inline asm
KLEE: WARNING ONCE: function "iwl_pcie_apm_stop" has inline asm
KLEE: WARNING ONCE: function "__iwl_warn" has inline asm
KLEE: WARNING ONCE: function "iwl_disable_interrupts" has inline asm
KLEE: WARNING ONCE: function "iwl_write32___1" has inline asm
KLEE: WARNING ONCE: function "iwl_enable_interrupts" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock_sched_held___2" has inline asm
KLEE: WARNING ONCE: function "iwl_pcie_apm_init" has inline asm
KLEE: WARNING ONCE: function "iwl_write8" has inline asm
KLEE: WARNING ONCE: function "iwl_read32___1" has inline asm
KLEE: WARNING ONCE: function "iwl_pcie_rxq_alloc_rbs" has inline asm
KLEE: WARNING ONCE: function "iwl_pcie_rxq_restock" has inline asm
KLEE: WARNING ONCE: function "__iwl_crit" has inline asm
KLEE: WARNING ONCE: function "iwl_pcie_isr_ict" has inline asm
KLEE: WARNING ONCE: function "trace_iwlwifi_dev_irq" has inline asm
KLEE: WARNING ONCE: function "trace_iwlwifi_dev_ict_read" has inline asm
KLEE: WARNING ONCE: function "iwl_dbgfs_tx_queue_read" has inline asm
KLEE: WARNING ONCE: function "iwl_pcie_tasklet" has inline asm
KLEE: WARNING ONCE: function "iwl_pcie_irq_handle_error" has inline asm
KLEE: WARNING ONCE: function "iwl_pcie_hcmd_complete" has inline asm
KLEE: WARNING ONCE: function "ldv_main_exported_37" has inline asm
KLEE: WARNING ONCE: function "iwl_wait_notification" has inline asm
KLEE: WARNING ONCE: function "iwl_read32___0" has inline asm
KLEE: WARNING ONCE: function "iwl_write32___0" has inline asm
KLEE: WARNING ONCE: function "iwl_init_ht_hw_capab" has inline asm
KLEE: WARNING ONCE: function "iwl_test_handle_cmd" has inline asm
KLEE: WARNING ONCE: function "rcu_read_lock_sched_held___5" has inline asm
KLEE: WARNING ONCE: function "iwl_write32___4" has inline asm
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:23322: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:22613: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:12508: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:20375: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:22549: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:22485: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:23059: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:22933: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: WARNING: killing 29492 states (over memory cap)
KLEE: WARNING ONCE: skipping fork (memory cap exceeded)
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:22420: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: WARNING: killing 42190 states (over memory cap)
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:22870: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: WARNING: killing 38267 states (over memory cap)
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:22356: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:23123: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: WARNING: killing 39778 states (over memory cap)
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:19737: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:22292: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:23390: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:22806: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:20430: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: WARNING: killing 37229 states (over memory cap)
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:19659: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:22741: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: WARNING: killing 39183 states (over memory cap)
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:22996: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:13028: inline assembly is unsupported
KLEE: NOTE: now ignoring this error at this location
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:13054: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:13036: inline assembly is unsupported
KLEE: NOTE: now ignoring this error at this location
KLEE: WARNING: killing 38131 states (over memory cap)
KLEE: WARNING: killing 43970 states (over memory cap)
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:19737: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:18499: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: WARNING: killing 39064 states (over memory cap)
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:22676: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:19729: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:19167: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: WARNING: killing 44312 states (over memory cap)
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:23193: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: WARNING: killing 45042 states (over memory cap)
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:19777: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:19376: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: WARNING: killing 46152 states (over memory cap)
KLEE: WARNING: killing 45818 states (over memory cap)
KLEE: WARNING: killing 46698 states (over memory cap)
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:15069: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: WARNING: killing 44684 states (over memory cap)
KLEE: WARNING: killing 46223 states (over memory cap)
KLEE: WARNING: killing 41970 states (over memory cap)
KLEE: WARNING: killing 44795 states (over memory cap)
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:19916: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:13028: inline assembly is unsupported
KLEE: NOTE: now ignoring this error at this location
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:23257: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: WARNING: killing 40333 states (over memory cap)
KLEE: WARNING: killing 42227 states (over memory cap)
KLEE: WARNING: killing 42012 states (over memory cap)
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:20330: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: WARNING: killing 41608 states (over memory cap)
KLEE: WARNING: killing 44360 states (over memory cap)
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:17450: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: WARNING: killing 42850 states (over memory cap)
KLEE: WARNING: killing 39938 states (over memory cap)
KLEE: WARNING: killing 44612 states (over memory cap)
KLEE: ERROR: /tmp/symbiotic-4kW7Op/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--iwlwifi--iwlwifi.ko-main.cil.out.c:17752: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: WARNING: killing 44010 states (over memory cap)
KLEE: WARNING: killing 44537 states (over memory cap)
KLEE: WARNING: killing 40487 states (over memory cap)
KLEE: WARNING: killing 42795 states (over memory cap)
KLEE: WARNING: killing 43759 states (over memory cap)
KLEE: WARNING: killing 43987 states (over memory cap)
KLEE: WARNING: killing 44582 states (over memory cap)
KLEE: WARNING: killing 43690 states (over memory cap)
KLEE: WARNING: killing 45342 states (over memory cap)
KLEE: WARNING: killing 42664 states (over memory cap)
KLEE: WARNING: killing 44376 states (over memory cap)
KLEE: WARNING: killing 43682 states (over memory cap)
KLEE: WARNING: killing 40042 states (over memory cap)
KLEE: WARNING: killing 43517 states (over memory cap)
KLEE: WARNING: killing 42137 states (over memory cap)
KLEE: WARNING: killing 42789 states (over memory cap)
KLEE: WARNING: killing 41701 states (over memory cap)
KLEE: WARNING: killing 44556 states (over memory cap)
KLEE: WARNING: killing 41773 states (over memory cap)
KLEE: WARNING: killing 45096 states (over memory cap)
KLEE: WARNING: killing 43586 states (over memory cap)
KLEE: WARNING: killing 44310 states (over memory cap)
KLEE: WARNING: killing 42504 states (over memory cap)
KLEE: WARNING: killing 43087 states (over memory cap)
KLEE: WARNING: killing 44162 states (over memory cap)
KLEE: WARNING: killing 43144 states (over memory cap)
KLEE: WARNING: killing 42044 states (over memory cap)
KLEE: WARNING: killing 42042 states (over memory cap)
KLEE: WARNING: killing 41938 states (over memory cap)
KLEE: WARNING: killing 42650 states (over memory cap)
KLEE: WARNING: killing 43376 states (over memory cap)
KLEE: WARNING: killing 42632 states (over memory cap)
KLEE: WARNING: killing 43493 states (over memory cap)
KLEE: WARNING: killing 44340 states (over memory cap)
KLEE: WARNING: killing 44210 states (over memory cap)
KLEE: WARNING: killing 42376 states (over memory cap)
KLEE: WARNING: killing 45363 states (over memory cap)
KLEE: WARNING: killing 42983 states (over memory cap)
KLEE: WARNING: killing 42795 states (over memory cap)
KLEE: WARNING: killing 42205 states (over memory cap)
KLEE: WARNING: killing 42772 states (over memory cap)
KLEE: WARNING: killing 41984 states (over memory cap)
KLEE: WARNING: killing 42763 states (over memory cap)
KLEE: WARNING: killing 42152 states (over memory cap)
KLEE: WARNING: killing 43410 states (over memory cap)
KLEE: WARNING: killing 44248 states (over memory cap)
KLEE: WARNING: killing 44232 states (over memory cap)
KLEE: WARNING: killing 42943 states (over memory cap)
KLEE: WARNING: killing 44955 states (over memory cap)
KLEE: WARNING: killing 42370 states (over memory cap)
KLEE: WARNING: killing 42126 states (over memory cap)
KLEE: WARNING: killing 43850 states (over memory cap)
KLEE: WARNING: killing 41888 states (over memory cap)
KLEE: WARNING: killing 42317 states (over memory cap)
KLEE: WARNING: killing 42613 states (over memory cap)
KLEE: WARNING: killing 43504 states (over memory cap)
KLEE: WARNING: killing 41910 states (over memory cap)
KLEE: WARNING: killing 44426 states (over memory cap)
KLEE: WARNING: killing 44526 states (over memory cap)
KLEE: WARNING: killing 45281 states (over memory cap)
