static analyzer crash: the method or operation is not implemented


with latest build (1.4.50111.1) receive following crash of static analyzer. may able guess function in based on first line of message, indicating function in our code.

 

codecontracts: utilities: internal error @ method method 240 : shell.ep.cdis.utilities.reflectionextensions.createexpressioninfo(system.reflection.methodinfo,system.type,system.type[])

codecontracts: utilities: failed uncaught exception: method or operation not implemented.

codecontracts: utilities: stack trace:    @ system.compiler.analysis.ccimddecoder.elementtype(typenode type)

codecontracts: utilities:    @ microsoft.research.codeanalysis.analysiswrapper.typebindings`11.arrayanalysisplugin.suggestanalysisspecificpostconditions(contractinferencemanager inferencemanager, ifixpointinfo`2 fixpointinfo, list`1 postconditions)

codecontracts: utilities:    @ microsoft.research.codeanalysis.analysiswrapper.typebindings`11.arrayanalysis`2.suggestanalysisspecificpostconditions(contractinferencemanager inferencemanager, ifixpointinfo`2 fixpointinfo, list`1 postconditions)

codecontracts: utilities:    @ microsoft.research.codeanalysis.analysiswrapper.typebindings`11.genericvalueanalysis`2.suggestpostcondition(contractinferencemanager inferencemanager, ifixpointinfo`2 fixpointinfo)

codecontracts: utilities:    @ microsoft.research.codeanalysis.clousot.typebinder`9.runcontractinference(int32 phasecount, string methodfullname, imethoddriver`12 mdriver, analysisstatistics& methodstats, list`1 results, contractinferencemanager inferencemanager, composedfactquery`1 factquery)

codecontracts: utilities:    @ microsoft.research.codeanalysis.clousot.typebinder`9.noniteratormethodanalysisnoncached(method method, methodanalysisflags& analysisflags, int32& phasecount, string methodfullname, iclassdriver`13 cdriver, imethoddriver`12 mdriver, imethoddriver`12 z3mdriver, analysisstatistics& methodstats, contractdensity& methodcontractdensity)

codecontracts: utilities:    @ microsoft.research.codeanalysis.clousot.typebinder`9.analyzenoniteratormethodinternal(method method, methodanalysisflags analysisflags)

codecontracts: utilities:    @ microsoft.research.codeanalysis.clousot.typebinder`9.analyzemethodinternal(method method, methodanalysisflags analysisflags)

codecontracts: utilities:    @ microsoft.research.codeanalysis.clousot.typebinder`9.analyzemethod(method method)

codecontracts: utilities:    @ microsoft.research.codeanalysis.clousot.typebinder`9.dowork(single totalmethods, int32& progresschars, datetime assemblystarttime, boolean& first, method method)

codecontracts: utilities:    @ microsoft.research.codeanalysis.clousot.typebinder`9.analyzeassembly(assembly assembly, set`1 assembliesunderanalysis)

codecontracts: utilities:    @ microsoft.research.codeanalysis.clousot.typebinder`9.internalanalyze()

codecontracts: utilities:    @ microsoft.research.codeanalysis.clousot.typebinder`9.analyze()

hi sebastian,

  can please send me small repro?

a quick fix should be: put contract verification(false) on crashing method, or disable ensure inference/suggestion

 

thanks

f



DevLabs  >  Code Contracts



Comments

Post a Comment

Popular posts from this blog

Azure DocumentDB Owner resource does not exist

having same error microsoft.azure.documents.documentclientexception: message: {"errors":["owner resource not exist"]} , scenario. when deployed webapp azure , try document docdb throws error. docdb exists in azure , contains document looking for. weird local machine(running vs) works fine. i'm using same settings in azure , local. have , idea this. thanks Microsoft Azure  >  Azure Cosmos DB
Read more

job syspolicy_purge_history job fail in sqlserver 2008

Image
hello guys, when installed sqlserver,it automatically created 1 job name job syspolicy_purge_history. but failed @ step 1. the reason is: date                11/6/2010 2:00:00 am log                job history (syspolicy_purge_history) step id                1 server                mxosv-otsdb01 job name                syspolicy_purge_history step name                verify automation enabled. duration                00:00:00 sql severity                16 sql message id                34022 operator emailed                operator net sent                operator paged                retries attempted                0 message executed user: nt authority\system. policy automation turned off. [sqlstate 42000] (error 34022).  the step failed. have run statement: select msdb.dbo.fn_syspolicy_is_automation_enabled the returned valus 0. what can resolve it? or can delete job manually.   thanks in advance. if haven't things want,be
Read more

Trying to register with public marketplace error with 'Get-AzureStackStampInformation'

when trying register against public azure adfs azure stack error below. logs can found at: c:\maslogs\azurestack.azureregistration.2017-10-12.01-31-23.log  and  \\azs-ercs01\c$\maslogs error occurred checking stamp information: system.management.automation.remoteexception: term 'get-azurestackstampinformation' not recognized name of cmdlet, function, script file, or operable program. check spelling of name, or if path included, verify path correct , try again. @ c:\azurestack-tools-master\registration\registerwithazure.psm1:1106 char:5 +     throw "logs can found at: $global:azureregistrationlog  and  \ ... +     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~     + categoryinfo          : operationstopped: (logs can fou... , try again.:string) [], runtimeexception     + fullyqualifiederrorid : logs can found at: c:\maslogs\azurestack.azureregistration.2017-10-12.01-31-23.log  a    nd  \\azs-ercs01\c$\maslogs error occurred chec
Read more