repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
lib: handle -funsigned-char option
2015-03-11
Dan Carpenter
lib: handl
e
-
funsigne
d
-char option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpenter
kerne
l
.
ignor
e
_sid
e
_effect
s
:
add so
m
e macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carp
e
nte
r
i
n
denting: al
l
ow "break; case XXX:"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
user_d
a
ta2: m
a
rk ssc
a
nf() o
u
tp
u
t as user da
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpen
t
er
math, rl: fix handi
n
g
d
ivision involvin
g
negati
v
e numbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpen
t
er
sval: fix sval_bino
p
_o
v
erflow
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan C
a
rpente
r
precedence: complain ab
o
ut "foo << bar - baz"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-04
Dan
C
ar
p
enter
flow: handle struct
ini
t
ial
i
zation
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpenter
e
state:
a
dd a
NULL check in
estat
e
s_equiv()
commit
|
commitdiff
|
tree
2015-03-03
Dan Ca
r
penter
param_use
d
: stor
e
w
h
en
a p
a
r
ameter is used so w
e
d
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan C
a
r
p
enter
e
xtra: ignore more
_
_i
n
_fake_assign d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan
C
ar
p
ent
e
r
comp
a
riso
n
:
fix
a crashing
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carp
e
nter
typ
e
: add an exp
r
_
s
igned()
f
unction that
m
at
c
hes expr_unsigned()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
s
mdb
.
py: add functions to show functions implementing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan
C
arpenter
ext
r
a: h
a
ndle tempor
a
ry shorthand pointers bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Ca
r
penter
der
e
fe
r
ences_param: lo
o
k for point
e
rs
u
sed as an array
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan C
a
rpenter
check_indenting: warn about m
i
ssing curly b
r
aces an
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
D
a
n Carpenter
param_cleared
:
a
dd a co
m
ment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
D
an
Carpenter
validation: corr
e
ct some outpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
A
a
r
o Koskin
e
n
build: allow use of PKG_CO
N
F
I
G
to
overri
d
e pkg-co
n
fig
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Da
n
Carpente
r
db: buil
d
i
n
dexes faster
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Da
n
Carpenter
slist: fix compile breakage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
kernel
_
printf:
s
ilence s
o
me fals
e
positives
usi
n
g
s
match_str
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan
C
a
r
penter
str
i
ngs: record which st
r
i
n
gs are be
i
ng used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan C
a
rpenter
u
s
e
r
_
data2: turn on skb->da
t
a tagg
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Car
p
enter
db: renam
e
FI
L
TER_
V
ALUE, LIMITED_VALU
E
, and
A
DDED
_
V
A
L
U
E
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Da
n
Carpe
n
ter
k
e
rnel_
p
ri
n
tf:
si
l
en
c
e s
o
me "struct sockaddr " false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpe
n
ter
typ
e
:
add unions to type_to_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpent
e
r
ty
p
e_
v
a
l
ue: speed up loading the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpe
n
ter
*
n
ew*
r
eturn
_
cast: compl
a
in abo
u
t
ret
u
rn -EINVAL in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
f
o
rmat_
s
t
ring: delete this
be
c
ause c
h
eck_kernel_
p
rint
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
enter
functio
n
_hooks: add
some
d
ebug o
u
tput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
ex
t
ra:
c
l
eanup db_param_add_
s
e
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpe
n
ter
extra:
s
e
parate PARAM_
L
IMIT and PAR
A
M
_
FILTER
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
p
enter
f
u
n
ction_hooks: don't take a shor
t
c
u
t for
"
ne
e
dless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpenter
hel
p
er
:
int
r
o
d
uce alloc_state_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
math: ha
n
dle "if (likely(1)) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
m
ath: fix/cle
a
n
up
do_co
m
p
a
rison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
c
a
pped: don't record single va
l
ues as ca
p
ped in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpenter
db: exp
o
rt get_stati
c
_
filter()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
user_data2: w
r
ong parameter tagged
as user da
t
a
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
ros
e
nberg
:
de
l
ete
s
ome code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpenter
rose
n
be
r
g: strip away some cast
i
ng (eliminates a fal
s
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
pen
t
er
rosenberg:
don't save u
n
needed st
a
tes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpenter
buf_size: don't
s
ave useless
i
nforma
t
ion in the
d
atabase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
struct_assignment: ignore more fake a
s
signments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpenter
slist: fix debugging
o
utp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Da
n
Car
p
ent
e
r
param_cleared
,
rosenberg:
add und
e
r
s
cored me
m
s
e
t/cpy
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
D
a
n
Carpenter
param_f
i
lter
/
set: do
n
't
r
eco
r
d
f
ake assignment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
slist, de
b
ugging: do
n
't print ->possible list i
f
there
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpen
t
e
r
type_v
a
l: add more
stuff to ignore
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
db/re
l
o
a
d_par
t
ial
.
sh: change dat
a
b
ase info
f
o
r
one
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Silvan Jegen
Documentation fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carpe
n
ter
kernel_pri
n
tf: pu
t
l
o
ts of single quotes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-13
Dan Ca
r
penter
Merge br
a
nch 'devel3'
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
R
asmus Villemoes
check_kernel_p
r
intf
.
c:
Allow
c
onst
c
h
ar[] form
a
t arguments
commit
|
commitdiff
|
tree
2015-02-12
R
asm
u
s V
i
llemo
e
s
c
h
eck_kernel_printf
.
c
:
Handle 'fmt
? : "default
"
'
commit
|
commitdiff
|
tree
2015-02-12
Ra
s
mu
s
Villemoes
check_kernel_printf
.
c: Simp
l
ify recursive callin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Da
n
Carpenter
ch
e
ck_kern
e
l_prin
t
f
.
c
:
Sim
p
li
f
y re
c
ursive
calling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpente
r
kernel_pr
i
ntf: allow '\b' if it's the firs
t
c
ha
r
a
cter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
v
alidation/sm
_
ros
e
nberg
.
c: don
'
t pas
s
an uninitia
l
ized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Da
n
Car
p
en
t
e
r
kernel_printf: add some mor
e
q
u
otes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Da
n
Carpen
t
e
r
kernel_printf:
m
o
v
e a
w
ar
n
ing unde
r
th
e
--spamm
y
flag
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan
C
arpen
t
er
kernel_prin
t
f: add some qu
o
tes around the function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan C
a
rpenter
kerne_pri
n
t
f:
'
%
pb' is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-11
R
a
s
m
us
V
illemoes
che
c
k
_
k
e
rnel_printf
.
c: Fix braino
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
V
illemoes
che
c
k
_
kernel_
p
ri
n
tf
.
c:
S
trip
parentheses
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
ch
e
ck_kernel_prin
t
f
.
c:
H
andl
e
conditionals
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
Villemoes
smatch: Check the ke
r
nel'
s
%p fo
r
mat ex
t
ensions
commit
|
commitdiff
|
tree
2015-02-11
Ra
s
mus
V
i
llemoes
sma
t
ch:
Add --enable o
p
tion
commit
|
commitdiff
|
tree
2015-02-11
R
a
s
mus Villemoes
smatc
h
:
Implement --show-checks
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
smat
c
h: Add dummy elemen
t
to reg_funcs
commit
|
commitdiff
|
tree
2015-02-11
Luc Van Oostenryc
k
Avoid reus
e
of string buffer w
h
en concaten
i
ng adjacent
.
.
.
commit
|
commitdiff
|
tree
2015-02-11
Dan Carp
e
nter
wrong_s
i
ze
_
a
r
g:
w
arn
about "if (mem
c
mp(
f
oo, bar, sizeof
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan
Carpenter
struc
t
_assign
m
ent: remove a blank line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
sval: handle LE
F
T
SHIFTs in s
v
al_binop_ov
e
rflows
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
D
a
n
Carpe
n
t
er
sval: cast the result i
n
sval_bi
n
op()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
D
an C
a
rpenter
t
ype_val: u
p
d
ate to
h
andle
PARA
M
_SET
fr
o
m the db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Da
n
Carpente
r
type_val: ignore kmalloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
type_va
l
: ign
o
re all th
e
"for_each"
macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
user_dat
a
2: remove
s
o
m
e d
e
bu
g
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-29
Dan Carpenter
he
l
per: introdu
c
e invert_op()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-22
Dan C
a
rpen
t
er
ranges
:
brea
k
the range list
p
arsing i
n
to a se
p
arate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-22
Dan
Carpen
t
e
r
rang
e
s: p
r
epare
t
o
cha
n
ge
a
st
r
ing to an estate instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-22
Da
n
Ca
r
penter
modific
a
tion
_
ho
o
ks: add
P
ARAM_SET
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-21
Dan C
a
r
penter
param_cleared: cl
e
a
r
ing a member
is not clearing a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-21
Dan
Carpent
e
r
ty
p
e_val: ignore fake
mem
b
er assignments
from u
n
casted
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-19
Dan
C
ar
p
enter
type_value: list_entr
y
i
s sa
f
e as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-19
D
a
n
C
a
r
pente
r
db:
u
s
e sav
e
d return e
s
tate instead
of
s
earching the
db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpente
r
debug: int
r
oduce
_
_s
m
atch_kno
w
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpenter
db,
e
x
tr
a
:
use PARAM_SET
i
f the
parameter is totally
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-15
Dan Carp
e
nter
f
rees_param: m
o
di
f
y mea
n
s
i
t'
s
not freed
a
nymore
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-15
Dan
C
arpenter
slist: fix "stack
n
ot
empty" errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-12
Dan Carp
e
nter
sil
e
n
c
e: a
d
d __read_o
n
ce_size() t
o
k
e
rnel
.
s
ilen
c
e
d_func
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
Da
n
Carpenter
com
p
arison: handle p
r
eops
like "
i
f
(++a =
=
b)"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
flow
:
don't inline functions w
h
ich are ov
e
r 20
li
n
es
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpen
t
er
f
unction_ptrs: h
a
ndle SYN_NODE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
Dan
C
ar
p
enter
helper: improv
e
get_member_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
Dan C
a
rpenter
user
_
dat
a
2
: start re-write of user_data (not used yet)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
D
a
n Carpenter
m
a
th: int
r
o
d
uce custom_get_abso
l
ute_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next