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

RFC_ERROR_SYSTEM_FAILURE with SAP ECC 6 Unicode

hi all, i using biztalk 2006 r2, microsoft biztalk adapter v2.0 mysap business suite sp1 & sql server 2005 database server. we have developed orchestrations communicating sap version 4.7.   currently sap has been upgraded in ecc 6(unicode) system. i have configured new send port on dev server. orchestration can communicate sap ecc 6.0 (non- unicode) system while trying connect sap ecc 6.0 (unicode) getting error. a message sent adapter "sap" on send port "ecc 6 sendport" uri "sap://as:***.**.***.***/**/***/" suspended.   error details: rfc_error_system_failure   messageid:   {b7dd677e-0ef3-480b-835a-d389f2e24179} is there can configure setting unicode ?   thanks in advance     ajay dabhade problem solved: standard table data types appear not unicode compatible in sap ecc 6.0. make rfcgetfunctiondesc raise error. solution: used other data types scratch in rfcs in sap   ajay dabhad...
Read more

C# System.Data.Common DbCommand and getting Datasets from Oracle

i found no oracle specific forum area, decided post here. getting dataset oracle c# system.data.common library's dbcommand seems tricky task. i using command object in project along dbproviderfactory , dbdataadapter because meant allow use same library multiple database providers, , don't have clutter data access layer of project separate classes accessing each individual database provider. my problem is, stored procedures fetching data oracle require refcursor object added in parameters. however, dbtype library not contain definition object. using "object"-type not work. i have read many places not have add refcursor parameter, endless failed attempts @ running command without refcursor object has brought me conclusion leaving out refcursor object not option when using system.data.common library. here coded example connectionstring purposefully left out.                 dbconnection.ope...
Read more