Group items tagged

Pex is actually a unit test generation tool. It takes a parametrized unit test and generates parameter sets to get full code coverage and exercise all of the code. It actually analyzes the code to find appropriate values, and then generates normal (unparametrized) tests.

This presentation looks at PVS-Studio static code analyzer. PVS-Studio is a tool for bug detection in the source code of programs, written in C, C++ and C#. It works in Windows and Linux environment. PVS-Studio performs static code analysis and generates a report that helps a programmer find and fix bugs also performs a wide range of code checks, it is also useful to search for misprints and Copy-Paste errors.

OpenCV is a library of computer vision algorithms, picture processing algorithms, and general-purpose numerical algorithms. The library is written in C/C++ and is free both for academic and commercial use, as it is distributed under the BSD license. The time has come to check this library with the PVS-Studio code analyzer. OpenCV is a large library. It contains more than 2500 optimized algorithms and consists of more than 1 million code lines. Cyclomatic complexity of the most complex function cv::cvtColor() is 415. It is no wonder that we have found quite many errors and questionable fragments in its code. However, the size of the source code taken into account, we may call this library a high quality one.

The Archive of Interesting Code is an (ambitious) effort on my part to research, intuit, and code up every interesting algorithm and data structure ever invented. In doing so, I hope both to learn the mathematical techniques that power these technologies and to improve my skills as a programmer. The examples on this site are in a variety of languages. I generally prefer to use C++ for algorithms, since the STL provides a great framework for expressing algorithms that work on a variety of data types. I code up most data structures in Java, both because the Collections framework allows them to be integrated in seamlessly with other applications and because automatic garbage collection simplifies some of the resource management. Every now and then I'll find an algorithm or data structure that is best represented in a different language like Haskell, in which case I'll forgo my usual language conventions.

An early beta of a code-generation webservice which lets you create UML-like diagrams and generate code (with tests and everything).

One of the painful parts of teaching a lab-based embedded systems course is that over and over I have to watch a team with a relatively simple bug in their code, but who is trying to fix it by repeatedly making random changes. Generally they start with code that's pretty close to working and break it worse and worse. By the end of the lab they're frustrated, aren't any closer to finding the bug, and have made a complete mess of their code, forcing them to go back to the previous day or week's version.

Makes skeleton C# or VB classes that will serialize to match an XML Schema.

The WMI Code Creator tool allows you to generate VBScript, C#, and VB .NET code that uses WMI to complete a management task such as querying for management data, executing a method from a WMI class, or receiving event notifications using WMI.

Sample Fluent NHibernate T4 Templates for Code Generation 

"Contents & Guidelines 1. General Moral Imperatives. 2. More Specific Professional Responsibilities. 3. Organizational Leadership Imperatives. 4. Compliance with the Code. 5. Acknowledgments."

must read for every coder - for his work and career

A dynamic website uses a database to gather, manage and display information. Database driven are used for websites that change constantly with areas such as product inventory, news or listing information. Dynamic websites contain Web pages that are generated in real-time. These pages include Web scripting code, such as PHP or ASP. When a dynamic page is accessed, the code within the page is parsed on the Web server and the resulting HTML is sent to the client's Web browser.

Cppcheck is a static analyzer for C and C++ code. It is open-source, free, cross-platform and easy-to-use. The project's website: http://cppcheck.sourceforge.net/ Cppcheck is an open-source, free tool distributed under the GNU General Public License. Daniel Marjamäki is the project's author (his profile on StackOverflow). The project's source code can be downloaded from the github website.

nMate is a Unit Testing integration and Code Generation addin for Visual Studio. NMate is designed to work with NUnit and PartCover.

Google has taken steps to block ads for e commerce sites that use Polyfill.io service after Chinese company acquired the domain and modified the Javascript library to redirect users to scam and malicious sites. Polyfill is famous library that incorporates help for functions in web browsers. China based content delivery network CDN company Funnull. Over 110,000 sites that embed the library  are affected by supply chain attack. Sansec add in Tuesday report. The development urges web infrastructure providers Fastly and Cloudflare to offer other endpoints to assist users move away from polyfill.jo. The original creator of the project Andrew Betts said website owners to remove it urgently no website today requires any of polyfills in the polyfill .jo library. Most features add to web platform are adopted by mega browsers with few exceptions that can not be polyfilled anyway like Web Bluetooth and Web Serial. Such an attack occur if underlying third party is compromised or changes the code being served to end users in bad method causing  all websites using tool to be compromised. The code has protection against reverse engineering and only activates on special mobile devices at special hours. It does not activate when it detects an admin user. it delays execution when web analytics services is found presumably not end up in stats. San Francisco based c/side has issued an alert of its own domain maintainers added a Cloudflare Security Protection header to their site between March 7 and 8 2024. The Dutch e commerce security firm said domain "cdn.polfill.jo" has caught injecting malware that redirects user to sports betting and pornographic sites. The findings follow an advisory about security flaw impacting Adobe Commerce and Magento websites that continues to remain unpatched despite solution available since June 11 2024. It has emerged that 3rd parties can gain API admin reach without requiring a Linux version vulnerable to iconv issue making it more dangero

develop the PVS-Studio static code analyzer intended for analyzing C/C++ software. After we implemented general analysis in PVS-Studio 4.00, we received a lot of responses, both positive and negative. By the way, you are welcome to download a new version of PVS-Studio where we have fixed a lot of errors and defects thanks to users who told us about them.

These instrauctions mostly work, but with the current version of Windows OpenSSL, the generated certificate is "not suitable for code signing" unless you modify the OpenSSL.cnf config file.

Pex (Program EXploration) automatically generates unit tests and suggests fixes for bugs it discovers ...

If you search for "codeSigning" and "objsign" and "digitalSignature" and "nonRepudiation" you can see what is needed in the OpenSLL config files to generate code-signing certificates.