Cinnamon (desktop environment)

Cinnamon is a free and open-source desktop environment for Linux and Unix-like operating systems, deriving from GNOME 3 but following traditional desktop metaphor conventions. The development of Cinnamon began by the Linux Mint team as a reaction to the April 2011 release of GNOME 3 in which the conventional desktop metaphor of GNOME 2 was abandoned in favor of GNOME Shell. Following several attempts to extend GNOME 3 such that it would suit the Linux Mint design goals, the Mint developers forked several GNOME 3 components to build an independent desktop environment. Separation from GNOME was completed in Cinnamon 2.0, which was released in October 2013. Applets and desklets are no longer compatible with GNOME 3. As the distinguishing factor of Linux Mint, Cinnamon has generally received favorable coverage by the press, in particular for its ease of use and gentle learning curve. With respect to its conservative design model, Cinnamon is similar to the Xfce, MATE, GNOME 2 (and GNOME Flashback) desktop environments. Like several other desktop environments based on GNOME, including Canonical's Unity, Cinnamon was a product of dissatisfaction with GNOME team's abandonment of a traditional desktop experience in April 2011. Until then, GNOME (i.e. GNOME 2) had included the traditional desktop metaphor, but in GNOME 3 this was replaced with GNOME Shell, which lacked a taskbar-like panel and other basic features of a conventional desktop. The elimination of these elementary features was unacceptable to the developers of distributions such as Mint and Ubuntu, which are addressed to users who want interfaces that they would immediately be comfortable with. To overcome these differences, the Linux Mint team initially set out to develop extensions for the GNOME Shell to replace the abandoned features. The results of this effort were the "Mint GNOME Shell Extensions" (MGSE). Meanwhile, the MATE desktop environment had also been forked from GNOME 2.

Cinnamon (desktop environment)

Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis

An Integrated Framework for Improving the Quality and Reliability of Software Upgrades

Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis

An Integrated Framework for Improving the Quality and Reliability of Software Upgrades